Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 54,89
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 55,81
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 62,62
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 61,52
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 61,52
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Chiron Media, Wallingford, Regno Unito
EUR 57,89
Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
Da: Chiron Media, Wallingford, Regno Unito
EUR 57,90
Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 60,90
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 60,91
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Condizione: New. pp. 324.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 67,71
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2015
ISBN 10: 3319194879 ISBN 13: 9783319194875
Da: Revaluation Books, Exeter, Regno Unito
EUR 80,60
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 2015 edition. 364 pages. 9.25x6.10x0.94 inches. In Stock.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2006
ISBN 10: 3540331026 ISBN 13: 9783540331025
Da: moluna, Greven, Germania
EUR 64,08
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. This book constitutes the refereed proceedings of the 13th International SPIN workshop on Model Checking Software, SPIN 2006, held in Vienna, Austria in March/April 2006 as satellite event of ETAPS 2006. The 16 revised full papers presented together with.
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 53,49
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 36th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2015, held in Brussels, Belgium, in June 2015.The 12 regular papers and 2 tool papers presented in this volume were carefully reviewed and selected from 34 submissions. In addition the book contains 3 invited talks in full paper length. The papers cover various topics in the field of Petri nets and related models of concurrency.
Da: preigu, Osnabrück, Germania
EUR 50,40
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Application and Theory of Petri Nets and Concurrency | 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings | Raymond Devillers (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2015 | Springer | EAN 9783319194875 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 111,41
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: Mispah books, Redhill, SURRE, Regno Unito
EUR 101,73
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 132,94
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Springer, Berlin, Springer, 2006
ISBN 10: 3540331026 ISBN 13: 9783540331025
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 79,32
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware - The name 'SPIN' refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an annual forum for practitioners and researchersinterested in state space-based techniques for the validation and analysis of software and hardware systems, including communication protocols. It focuses on techniques based on explicit representations of state spaces, as implemented in the SPIN model checker or other tools, and techniques based on a combination of explicit representations with other representations. The SPIN model checker has proven to be particularly suited for the analysis of concurrent asynchronous systems. The workshop aims to encourage interaction and exchange of ideas with all related areas in software engineering. To promote interaction even further, many SPIN workshops have been held in conjunction with other meetings. The 13th International SPIN Workshop on Model Checking of Software was held in Vienna, Austria, co-located with the European Joint Conferences on Theory and Practice of Software (ETAPS) 2006. The earlier SPIN workshops were held in Montreal, Canada (1995); Rutgers University, USA (1996); Twente University, The Netherlands (1997); ENST, Paris, France (1998); Trento, Italy (1999); Toulouse, France (1999); Stanford University, USA (2000); Toronto, Canada (2001); Grenoble, France (2002); Portland, Oregon, USA (2003); Barcelona,Spain(2004);andSanFrancisco,USA(2005).Theproceedingsofthe Trento and Toulouse workshops were published together in Springer's Lecture Notes in Computer Science volume 1680. From then on, each SPIN proceedings has been published as an individual LNCS volume.
Da: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 46,22
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: new. Questo è un articolo print on demand.
Da: Basi6 International, Irving, TX, U.S.A.
Condizione: Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days.
Lingua: Inglese
Editore: Springer International Publishing Mai 2015, 2015
ISBN 10: 3319194879 ISBN 13: 9783319194875
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 36th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2015, held in Brussels, Belgium, in June 2015.The 12 regular papers and 2 tool papers presented in this volume were carefully reviewed and selected from 34 submissions. In addition the book contains 3 invited talks in full paper length. The papers cover various topics in the field of Petri nets and related models of concurrency. 364 pp. Englisch.
Da: Majestic Books, Hounslow, Regno Unito
EUR 81,16
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. 324 Illus.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 81,39
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. 324.
Lingua: Inglese
Editore: Springer International Publishing, 2015
ISBN 10: 3319194879 ISBN 13: 9783319194875
Da: moluna, Greven, Germania
EUR 48,37
Quantità: Più di 20 disponibili
Aggiungi al carrelloKartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the proceedings of the 36th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2015, held in Brussels, Belgium, in June 2015.The 12 regular papers and 2 tool papers presented in this .
Lingua: Inglese
Editore: Springer, Springer Mai 2015, 2015
ISBN 10: 3319194879 ISBN 13: 9783319194875
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 53,49
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the proceedings of the 36th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2015, held in Brussels, Belgium, in June 2015.The 12 regular papers and 2 tool papers presented in this volume were carefully reviewed and selected from 34 submissions. In addition the book contains 3 invited talks in full paper length. The papers cover various topics in the field of Petri nets and related models of concurrency.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 364 pp. Englisch.