Principles of the Spin Model Checker / Mordechai Ben-Ari / Taschenbuch / xvi / Englisch / 2008 / Springer London / EAN 9781846287695 - Paperback
2008, ISBN: 9781846287695
[ED: Taschenbuch], [PU: Springer London], The Spin model checker is a widely used professional software tool for specifying and verifying concurrent and distributed systems. Models, writt… More...
booklooker.de |
2008, ISBN: 1846287693
[EAN: 9781846287695], Neubuch, [SC: 0.0], [PU: Springer London Ltd Jan 2008], Neuware - This is the first introductory textbook on Spin, the only requirement is a background in programmin… More...
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Shipping costs:Versandkostenfrei. (EUR 0.00) Details... |
2008, ISBN: 9781846287695
Springer, Taschenbuch, Auflage: 2008, 232 Seiten, Publiziert: 2008-01-08T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 22503976, 0.75 kg, Informatik, IT-Ausbildung & -Berufe, Computer &… More...
Amazon.de (Intern... Antiquariat Bookfarm Gut Shipping costs:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
2008, ISBN: 9781846287695
*Principles of the Spin Model Checker* - 2008 ed / Taschenbuch für 69.49 € / Aus dem Bereich: Bücher, Ratgeber, Computer & Internet Medien > Bücher nein Buch (kartoniert) Hardcover;Naturw… More...
Hugendubel.de Shipping costs:Shipping in 1-2 weeks, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
2008, ISBN: 9781846287695
Buch, Softcover, 2008 ed. [PU: Springer London Ltd], Springer London Ltd, 2008
lehmanns.de Shipping costs:Versand in 10-20 Tagen. (EUR 0.00) Details... |
Principles of the Spin Model Checker / Mordechai Ben-Ari / Taschenbuch / xvi / Englisch / 2008 / Springer London / EAN 9781846287695 - Paperback
2008, ISBN: 9781846287695
[ED: Taschenbuch], [PU: Springer London], The Spin model checker is a widely used professional software tool for specifying and verifying concurrent and distributed systems. Models, writt… More...
2008, ISBN: 1846287693
[EAN: 9781846287695], Neubuch, [SC: 0.0], [PU: Springer London Ltd Jan 2008], Neuware - This is the first introductory textbook on Spin, the only requirement is a background in programmin… More...
2008
ISBN: 9781846287695
Springer, Taschenbuch, Auflage: 2008, 232 Seiten, Publiziert: 2008-01-08T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 22503976, 0.75 kg, Informatik, IT-Ausbildung & -Berufe, Computer &… More...
2008, ISBN: 9781846287695
*Principles of the Spin Model Checker* - 2008 ed / Taschenbuch für 69.49 € / Aus dem Bereich: Bücher, Ratgeber, Computer & Internet Medien > Bücher nein Buch (kartoniert) Hardcover;Naturw… More...
2008, ISBN: 9781846287695
Buch, Softcover, 2008 ed. [PU: Springer London Ltd], Springer London Ltd, 2008
Bibliographic data of the best matching book
Author: | |
Title: | |
ISBN: |
Details of the book - Principles of the Spin Model Checker
EAN (ISBN-13): 9781846287695
ISBN (ISBN-10): 1846287693
Hardcover
Paperback
Publishing year: 2008
Publisher: Springer London Ltd
216 Pages
Weight: 0,340 kg
Language: eng/Englisch
Book in our database since 2007-09-20T14:12:12-04:00 (New York)
Detail page last modified on 2024-04-16T16:10:51-04:00 (New York)
ISBN/EAN: 9781846287695
ISBN - alternate spelling:
1-84628-769-3, 978-1-84628-769-5
Alternate spelling and related search-keywords:
Book author: springer, mordechai, ari ben menashe
Book title: principles the spin model checker, checker check check, ben
Information from Publisher
Author: Mordechai Ben-Ari
Title: Principles of the Spin Model Checker
Publisher: Springer; Springer London
220 Pages
Publishing year: 2008-01-08
London; GB
Printed / Made in
Language: English
69,54 € (DE)
71,49 € (AT)
77,00 CHF (CH)
POD
XVI, 220 p. 17 illus.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Algorithms; Automat; Exception; PROMELA; SPIN; Variable; algorithm; automata; data structure; data structures; distributed systems; modeling; programming; real-time; Software Engineering; Programming Techniques; Compilers and Interpreters; Operating Systems; Theory of Computation; Computer Science Logic and Foundations of Programming; Computerprogrammierung und Softwareentwicklung; Compiler und Übersetzer; Betriebssysteme; Theoretische Informatik; EA
Sequential Programming in Promela.- Verification of Sequential Programs.- Concurrency.- Synchronization.- Verification with Temporal Logic.- Data and Program Structures.- Channels.- Nondeterminism.- Advanced Topics in Promela.- Advanced Topics in Spin.- Case Studies.First introductory textbook on Spin Includes complete programs which will demonstrate construct and concept; available on a companion website Promela and Spin are presented in a graduated manner, to facilitate easy learning Includes supplementary material: sn.pub/extras
More/other books that might be very similar to this book
Latest similar book:
9781848009523 Principles of the Spin Model Checker (Ben-Ari, Mordechai)
< to archive...