Zustand: Fine. 514 pp., paperback, fine. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2010
ISBN 10: 354063746X ISBN 13: 9783540637462
Anbieter: Ammareal, Morangis, Frankreich
Softcover. Zustand: Très bon. Ancien livre de bibliothèque. Salissures sur la tranche. Edition 2010. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Stains on the edge. Edition 2010. Ammareal gives back up to 15% of this item's net price to charity organizations.
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
EUR 19,12
Anzahl: 1 verfügbar
In den WarenkorbZustand: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,800grams, ISBN:9783540637462.
Sprache: Englisch
Verlag: Berlin/Heidelberg, Springer., 2003
ISBN 10: 3540412174 ISBN 13: 9783540412175
Anbieter: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Deutschland
XVI, 607 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch.
Paperback. Zustand: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Anbieter: Lucky's Textbooks, Dallas, TX, USA
EUR 52,65
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Zustand: New. pp. 448.
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 56,27
Anzahl: 10 verfügbar
In den WarenkorbPaperback. Zustand: New.
Anbieter: Antiquariat im Kaiserviertel | Wimbauer Buchversand, Dortmund, NRW, Deutschland
Broschur. Zustand: Gut. 562 Seiten Kanten berieben, bestoßen und etwas angegilbt, papierbedingte Seitenbräunung/// Standort Wimregal HAA-26549 ISBN 3540163832 Sprache: Deutsch Gewicht in Gramm: 1010.
EUR 69,67
Anzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 448 Illus.
Broschiert. Zustand: Gut. XVI, 704 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.). Schnitt und Einband sind etwas staubschmutzig; Einbandkanten sind leicht bestossen; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Sprache: Deutsch Gewicht in Gramm: 940.
hardcover. Zustand: New. In shrink wrap. Looks like an interesting title!
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2008
ISBN 10: 3540687459 ISBN 13: 9783540687450
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 80,55
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 429 pages. 9.00x6.00x1.00 inches. In Stock.
Anbieter: Lucky's Textbooks, Dallas, TX, USA
EUR 93,76
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: Lucky's Textbooks, Dallas, TX, USA
EUR 102,59
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: ALLBOOKS1, Direk, SA, Australien
Anbieter: Buchpark, Trebbin, Deutschland
EUR 8,80
Anzahl: 1 verfügbar
In den WarenkorbZustand: Sehr gut. Zustand: Sehr gut | Seiten: 536 | Sprache: Englisch | Produktart: Bücher | This book constitutes an anthology of refereed papers arranged to acknowledge the work of Wilfried Brauer on the occasion of his sixtieth birthday. The volume presents 49 revised refereed papers organized in topical sections on computer science and its potential, social implications of computer science, formal languages and automata, structures and complexity theory, Petri nets, systems analysis and distributed systems, software engineering and verification, cognition and artificial intelligence, knowledge representation and reasoning, machine learning, neural networks and robotics, language and information systems.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2008
ISBN 10: 3540687459 ISBN 13: 9783540687450
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2008, held in Xi'an, China, in June 2008. The 19 revised full regular papers and 4 revised tool papers presented together with 5 invited papers were carefully reviewed and selected from 75 submissions. All current issues on research and development in the area of Petri nets and modeling of concurrent systems are addressed.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Applications and Theory of Petri Nets | 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings | Kees van Hee (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2008 | Springer | EAN 9783540687450 | Verantwortliche Person für die EU: Springer-Verlag KG, Sachsenplatz 4-6, 1201 WIEN, ÖSTERREICH, productsafety[at]springernature[dot]com | Anbieter: preigu.
Zustand: New.
Anbieter: GreatBookPrices, Columbia, MD, USA
EUR 127,06
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Anbieter: GreatBookPrices, Columbia, MD, USA
EUR 134,87
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 121,26
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 126,38
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Anbieter: Buchpark, Trebbin, Deutschland
EUR 35,80
Anzahl: 1 verfügbar
In den WarenkorbZustand: Gut. Zustand: Gut | Seiten: 448 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Anbieter: UK BOOKS STORE, London, LONDO, Vereinigtes Königreich
EUR 134,24
Anzahl: 1 verfügbar
In den WarenkorbZustand: New. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 7-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Petri Nets for Systems Engineering | A Guide to Modeling, Verification, and Applications | Rüdiger Valk (u. a.) | Taschenbuch | xvi | Englisch | 2010 | Springer-Verlag GmbH | EAN 9783642074479 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2010
ISBN 10: 3642074472 ISBN 13: 9783642074479
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Formal methods for the specification and verification of hardware and software systems are becoming more and more important as systems increase in size and complexity. The aim of the book is to illustrate progress in formal methods, based on Petri net formalisms. It contains a collection of examples arising from different fields, such as flexible manufacturing, telecommunication and workflow management systems.The book covers the main phases in the life cycle of design and implementation of a system, i.e., specification, model checking techniques for verification, analysis of properties, code generation, and execution of models. These techniques and their tool support are discussed in detail including practical issues. Amongst others, fundamental concepts such as composition, abstraction, and reusability of models, model verification, and verification of properties are systematically introduced.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Nov 2002, 2002
ISBN 10: 3540412174 ISBN 13: 9783540412175
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Buch. Zustand: Neu. Neuware -Formal methods for the specification and verification of hardware and software systems are becoming more and more important as systems increase in size and complexity. The aim of the book is to illustrate progress in formal methods, based on Petri net formalisms. It contains a collection of examples arising from different fields, such as flexible manufacturing, telecommunication and workflow management systems.The book covers the main phases in the life cycle of design and implementation of a system, i.e., specification, model checking techniques for verification, analysis of properties, code generation, and execution of models. These techniques and their tool support are discussed in detail including practical issues. Amongst others, fundamental concepts such as composition, abstraction, and reusability of models, model verification, and verification of properties are systematically introduced.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 624 pp. Englisch.