- 0 Results
Lowest price: € 28.01, highest price: € 74.89, average price: € 64.53
1
Theoretical and Practical Aspects of SPIN Model Checking - Dennis Dams; Robert Gerth; Stefan Leue; Mieke Massinek
Order
at Springer.com
€ 74.89
Order
Dennis Dams; Robert Gerth; Stefan Leue; Mieke Massinek:

Theoretical and Practical Aspects of SPIN Model Checking - Paperback

ISBN: 9783540664994

Increasing the designer’s con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key objective in the design process for software and hardware syste… More...

new in stock. Shipping costs:zzgl. Versandkosten., plus shipping costs

2
Theoretical and Practical Aspects of SPIN Model Checking
Order
at Thalia.de
€ 69.99
Shipment: € 0.00
Order
Theoretical and Practical Aspects of SPIN Model Checking - Paperback

1999, ISBN: 9783540664994

Increasing the designer's con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key objective in the design process for software and hardware syste… More...

Nr. 1874156. Shipping costs:, Lieferbar in 2 - 3 Tage, DE. (EUR 0.00)

3
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 - Dams, Dennis (Herausgeber); Gerth, Robert (Herausgeber); Leue, Stefan (Herausgeber); Massinek, Mieke (Herausgeber)
Order
at Achtung-Buecher.de
€ 74.89
Shipment: € 0.00
Order
Dams, Dennis (Herausgeber); Gerth, Robert (Herausgeber); Leue, Stefan (Herausgeber); Massinek, Mieke (Herausgeber):
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

1999

ISBN: 3540664998

1999 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Programmiersprachen, Computerprogrammierung und Softwareentwicklung, Compiler und Übersetzer, Program… More...

Shipping costs:Versandkostenfrei innerhalb der BRD. (EUR 0.00)

MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
Paid advertisement
4
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) - Massinek, Mieke, Stefan Leue Dennis Dams  a. o.
Order
at buchfreund.de
€ 28.01
Shipment: € 2.50
Order
Massinek, Mieke, Stefan Leue Dennis Dams a. o.:
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: 9783540664994

290 Seiten Taschenbuch Gepflegtes ehemaliges Bibliotheksexemplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer); in der Regel foliiert (Umschlag aus selbstkl… More...

Shipping costs:Versandkosten innerhalb der BRD. (EUR 2.50)

getbooks GmbH, 65520 Idstein
5
Theoretical and Practical Aspects of SPIN Model Checking - Dennis Dams; Robert Gerth; Stefan Leue; Mieke Massinek
Order
at lehmanns.de
€ 74.89
Shipment: € 0.00
Order
Dennis Dams; Robert Gerth; Stefan Leue; Mieke Massinek:
Theoretical and Practical Aspects of SPIN Model Checking - Paperback

1999, ISBN: 9783540664994

5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings, 1999, Softcover, Buch, [PU: Springer Berlin]

Shipping costs:Versand in 7-9 Tagen, , Versandkostenfrei innerhalb der BRD. (EUR 0.00)


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

This book constitutes the refereed proceedings of the 5th and 6th international SPIN workshops on SPIN Model Checking, held as a satellite workshop of the Federated Logics Conference, FLoC'99, in Trento, Italy, July 1999, and as a user group meeting at the Formal Methods World Congress, FM'99, in Toulouse, France, in September 1999 respectively.Finite-state model checking, as it is supported by the explicit-state model checker SPIN, is enjoying constantly increasing popularity in automated property validation of concurrent, message based systems. This book presents up-to-date research results centered around SPIN as well as valuable surveys and summaries of application experience.

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
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 2020-09-04T09:35:49+01:00 (London)
ISBN/EAN: 3540664998

ISBN - alternate spelling:
3-540-66499-8, 978-3-540-66499-4


< to archive...