- 5 Results
Lowest price: € 53.49, highest price: € 74.99, average price: € 68.33
1
Theoretical and Practical Aspects of SPIN Model Checking
Order
at Hugendubel.de
€ 74.99
Shipment: € 0.001
Order
Provider details
Sponsored link

Theoretical and Practical Aspects of SPIN Model Checking - new book

ISBN: 9783540482345

Theoretical and Practical Aspects of SPIN Model Checking ab 74.99 € als pdf eBook: 5th and 6th International SPIN Workshops Trento Italy July 5 1999 Toulouse France September 21 and 24 19… More...

Nr. 33675026. Shipping costs:, , DE. (EUR 0.00)
close (x)
2
Theoretical and Practical Aspects of SPIN Model Checking
Order
at eBook.de
€ 53.49
Shipment: € 0.001
Order
Provider details
Sponsored link
Theoretical and Practical Aspects of SPIN Model Checking - new book

ISBN: 9783540482345

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: ab 53.49… More...

Shipping costs:in stock, , , DE. (EUR 0.00)
close (x)
3
Theoretical and Practical Aspects of SPIN Model Checking
Order
at eBook.de
€ 74.99
Shipment: € 0.001
Order
Provider details
Sponsored link
Theoretical and Practical Aspects of SPIN Model Checking - new book

ISBN: 9783540482345

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: ab 74.99… More...

Shipping costs:in stock, , , DE. (EUR 0.00)
close (x)
4
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 - H.L.J. Makin
Order
at hive.co.uk
£ 53.54
(aprox. € 63.17)
Order
Details & Shipping
Sponsored link
H.L.J. Makin:
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 - new book

ISBN: 9783540482345

; PDF; Computing > Business applications > Mathematical & statistical software, Springer Berlin Heidelberg

No. 9783540482345. Shipping costs:Instock, Despatched same working day before 3pm, zzgl. Versandkosten., plus shipping costs
close (x)
5
Theoretical and Practical Aspects of SPIN Model Checking
Order
at eBook.de
€ 74.99
Shipment: € 0.001
Order
Provider details
Sponsored link
Theoretical and Practical Aspects of SPIN Model Checking - new book

ISBN: 9783540482345

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: ab 74.99… More...

Nr. 33675026. Shipping costs:, , DE. (EUR 0.00)
close (x)
1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by euro-book.co.uk / euro-book.co.uk do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book
Theoretical and Practical Aspects of SPIN Model Checking
Author:
Title:
ISBN:

9783540482345

Details of the book - Theoretical and Practical Aspects of SPIN Model Checking


EAN (ISBN-13): 9783540482345
Publishing year: 2003
Publisher: Springer Berlin Heidelberg

Book in our database since 2017-05-10T00:40:39+01:00 (London)
Detail page last modified on 2023-11-29T21:10:26+00:00 (London)
ISBN/EAN: 9783540482345

ISBN - alternate spelling:
978-3-540-48234-5
Alternate spelling and related search-keywords:
Book author: massin robert, leue
Book title: spin, aspects france, toulouse 1300 1400

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: 2003-05-21
Berlin; Heidelberg; DE
Language: English
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
X, 282 p.

EA; E107; eBook; Nonbooks, PBS / Mathematik/Wahrscheinlichkeitstheorie, Stochastik, Mathematische Statistik; Mathematische und statistische Software; Verstehen; Java; Sage; formal method; formal verification; model; model checking; verification; C; Mathematical Software; Computer Science Logic and Foundations of Programming; Software Engineering; Compilers and Interpreters; Computer Science; Theoretische Informatik; Software Engineering; Compiler und Übersetzer; BC

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...