Skip to main content
Search Button
Canada Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


Showing 1 - 12 of 12 results for “miklos biro”
Skip side bar filters

  • Abstract State Machines, Alloy, B, TLA, VDM, and Z

    5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

    Edited by Michael Butler, Miklos Biro, Klaus-Dieter Schewe, Atif Mashkoor ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, in May 2016.The 17 full and 15 short papers presented in this volume were carefully reviewed and selected from 61 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, ... Read more

    $64.99 CAD

People who read this also enjoyed

  • Tools and Algorithms for the Construction and Analysis of Systems

    23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

    Edited by Axel Legay, Tiziana Margaria ...
    Series Book 2 - Springer Nature Proceedings Computer Science
    The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.The 48 full papers, 4 tool demonstration papers, and 12 software ... Read more

    $64.99 CAD

  • Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

    7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

    Edited by Tiziana Margaria, Bernhard Steffen ...
    Series Book 2 - Springer Nature Proceedings Computer Science
    The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016.The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each ... Read more

    $64.99 CAD

  • Foundations of Software Science and Computation Structures

    19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

    Edited by Bart Jacobs, Christof Löding ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 19th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.The 31 full papers presented in this volume were carefully reviewed and selected from 85 ... Read more

    $64.99 CAD

  • Topics in Theoretical Computer Science

    Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

    Edited by Mohammad Reza Mousavi, Jiří Sgall ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the Second IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, TTCS 2017, held in Tehran, Iran, in September 2017.The 8 papers presented in this volume were carefully reviewed and selected from 20 submissions. They were organized in topical sections named: algorithms and complexity; and logic, semantics, and programming ... Read more

    $64.99 CAD

  • Unifying Theories of Programming

    6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

    Edited by Jonathan P. Bowen, Huibiao Zhu ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the12th International Conference on Integrated Formal Methods, iFM 2016. The 8 revised full papers presented were carefully reviewed and selected from 10 submissions. They deal with the fundamental problem of ... Read more

    $64.99 CAD

  • Tools and Algorithms for the Construction and Analysis of Systems

    23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

    Edited by Axel Legay, Tiziana Margaria ...
    Series Book 1 - Springer Nature Proceedings Computer Science
    The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.The 48 full papers, 4 tool demonstration papers, and 12 software ... Read more

    $64.99 CAD

  • A Concise Introduction to Languages and Machines

    by Alan P. Parkes ...
    Series series Computer Science (R0)
    A Concise Introduction to Languages, Machines and Logic provides an accessible introduction to three key topics within computer science: formal languages, abstract machines and formal logic. Written in an easy-to-read, informal style, this textbook assumes only a basic knowledge of programming on the part of the reader.The approach is deliberately non-mathematical, and features: - Clear ... Read more

    $36.99 CAD

  • Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

    7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I

    Edited by Tiziana Margaria, Bernhard Steffen ...
    Series Book 1 - Springer Nature Proceedings Computer Science
    The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016.The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each ... Read more

    $115.99 CAD

  • Verification, Model Checking, and Abstract Interpretation

    18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings

    Edited by Ahmed Bouajjani, David Monniaux ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017, held in Paris, France, in January 2017.The 27 full papers together with 3 invited keynotes presented were carefully reviewed and selected from 60 submissions. VMCAI provides topics including: program verification, model checking, abstract ... Read more

    $64.99 CAD

  • Foundations of Software Science and Computation Structures

    20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

    Edited by Javier Esparza, Andrzej S. Murawski ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.The 32 papers presented in this volume were carefully reviewed and selected from 101 submissions. They ... Read more

    $64.99 CAD

  • Tools and Algorithms for the Construction and Analysis of Systems

    22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

    Edited by Marsha Chechik, Jean-François Raskin ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.The 44 full papers presented in this volume were carefully reviewed and selected from ... Read more

    $64.99 CAD