2008, ISBN: 9783540664994
[ED: Taschenbuch], [PU: Springer Berlin Heidelberg], Neuware - Increasing the designer's con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key … More...
booklooker.de |
1999, ISBN: 9783540664994
Paperback
5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings, Buch, Softcover, Increasing the designer?s con dence that … More...
lehmanns.de Shipping costs:Versand in 10-14 Tagen. (EUR 0.00) Details... |
Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, ... (Lecture Notes in Computer Science) - Paperback
2008, ISBN: 3540664998
Taschenbuch 290 Seiten Taschenbuch Gepflegtes ehemaliges Bibliotheksexemplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer); in der Regel foliiert (Umschlag … More...
Achtung-Buecher.de getbooks GmbH, 65510 Idstein Shipping costs:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
ISBN: 9783540664994
*Theoretical and Practical Aspects of SPIN Model Checking* - 5th and 6th International SPIN Workshops Trento Italy July 5 1999 Toulouse France September 21 and 24 1999 Proceedings. Auflag… More...
Hugendubel.de 3540664998. Shipping costs:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
ISBN: 9783540664994
Paperback, [PU: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG], Increasing the designer's con dence that a piece of software or hardwareis c- pliant with its speci cation has become… More...
BookDepository.com Shipping costs:Versandkostenfrei. (EUR 0.00) Details... |
2008, ISBN: 9783540664994
[ED: Taschenbuch], [PU: Springer Berlin Heidelberg], Neuware - Increasing the designer's con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key … More...
Dennis Dams; Robert Gerth; Stefan Leue; Mieke Massinek:
Theoretical and Practical Aspects of SPIN Model Checking - First edition1999, ISBN: 9783540664994
Paperback
5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings, Buch, Softcover, Increasing the designer?s con dence that … More...
Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, ... (Lecture Notes in Computer Science) - Paperback
2008
ISBN: 3540664998
Taschenbuch 290 Seiten Taschenbuch Gepflegtes ehemaliges Bibliotheksexemplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer); in der Regel foliiert (Umschlag … More...
ISBN: 9783540664994
*Theoretical and Practical Aspects of SPIN Model Checking* - 5th and 6th International SPIN Workshops Trento Italy July 5 1999 Toulouse France September 21 and 24 1999 Proceedings. Auflag… More...
ISBN: 9783540664994
Paperback, [PU: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG], Increasing the designer's con dence that a piece of software or hardwareis c- pliant with its speci cation has become… More...
Bibliographic data of the best matching book
Author: | |
Title: | |
ISBN: |
Details of the book - Theoretical and Practical Aspects of SPIN Model Checking
EAN (ISBN-13): 9783540664994
ISBN (ISBN-10): 3540664998
Paperback
Publishing year: 1999
Publisher: Springer Berlin Heidelberg
292 Pages
Weight: 0,445 kg
Language: eng/Englisch
Book in our database since 2007-03-12T06:56:55+00:00 (London)
Detail page last modified on 2024-04-22T18:29:26+01:00 (London)
ISBN/EAN: 3540664998
ISBN - alternate spelling:
3-540-66499-8, 978-3-540-66499-4
Alternate spelling and related search-keywords:
Book author: leue, gerth, mieke, robert massin, stefan, dams
Book title: theoretical computer science, model volume, aspects france, international model, spin, intern, aspects the novel, denis jully, lecture notes computer science, italy, trento, toulouse lautree
Information from Publisher
Author: Dennis Dams; Robert Gerth; Stefan Leue; Mieke Massinek
Title: Lecture Notes in Computer Science; Theoretical and Practical Aspects of SPIN Model Checking - 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings
Publisher: Springer; Springer Berlin
282 Pages
Publishing year: 1999-09-08
Berlin; Heidelberg; DE
Language: English
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
X, 282 p.
BC; Hardcover, Softcover / Mathematik/Wahrscheinlichkeitstheorie, Stochastik, Mathematische Statistik; Mathematische und statistische Software; Verstehen; Java; Sage; formal method; formal verification; model; model checking; verification; Mathematical Software; Computer Science Logic and Foundations of Programming; Software Engineering; Compilers and Interpreters; Theoretische Informatik; Software Engineering; Compiler und Übersetzer; EA
I:Selection of Papers Presented at 5thSPIN99.- Integrated Formal Verification: Using Model Checking with Automated Abstraction, Invariant Generation, and Theorem Proving.- Runtime Efficient State Compaction in Spin.- Distributed-Memory Model Checking with SPIN.- Partial Order Reduction in Presence of Rendez-vous Communications with Unless Constructs and Weak Fairness.- Divide, Abstract, and Model-Check.- II: Papers Presented at 6thSPIN99.- Formal Methods Adoption: What’s Working, What’s Not!.- Model Checking for Managers.- Xspin/Project - Integrated Validation Management for Xspin.- Analyzing Mode Confusion via Model Checking.- Detecting Feature Interactions in the Terrestrial Trunked Radio (TETRA) Network Using Promela and Xspin.- Java PathFinder A Translator from Java to Promela.- VIP: A Visual Interface for Promela.- Events in Property Patterns.- Assume-Guarantee Model Checking of Software: A Comparative Case Study.- A Framework for Automatic Construction of Abstract Promela Models.- Model Checking Operator Procedures.- Applying Model Checking in Java Verification.- The Engineering of a Model Checker: the Gnu i-Protocol Case Study Revisited..- Embedding a Dialect of SDL in PROMELA.- dSPIN: A Dynamic Extension of SPIN.Includes supplementary material: sn.pub/extras
More/other books that might be very similar to this book
Latest similar book:
9788121550000 The Runaways: A Novel (Fatima Bhutto)
< to archive...