Petri Nets for Systems Engineering : A Guide to Modeling, Verification, and Applications

Sprache: Englisch

Verlag: Springer, 2002

3540412174 / 9783540412175

Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 14. August 2006

Artikel dieses Verkäufers ansehen
Hardcover

Zustand: Neu

EUR 113,44

EUR 65,46 Versand 
Versand von Deutschland nach USA

Anzahl: 1 verfügbar

In den Warenkorb

Artikelbeschreibung vom Verkäufer

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.

Bestandsnummer des Verkäufers 9783540412175

Titel
Petri Nets for Systems Engineering : A Guide to Modeling, Verification, and Applications
Autor
Claude Girault
Verlag
Springer
Veröffentlichungsjahr
2002
Zustand
Neu
Einband
Buch
Sprache
Englisch
ISBN-10
3540412174
ISBN-13
9783540412175
Artikelgewicht
1.092 Gramm
Abmessungen
241x160x38 mm

AHA-BUCH GmbH

Einbeck, Deutschland

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 14. August 2006

Versandkosten von Deutschland nach USA

Artikel30 bis 40 Werktage7 bis 14 Werktage
Erster ArtikelEUR 65,46EUR 75,46
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

VisaMastercardAmerican ExpressCarte BleueApple PayGoogle Pay
BanküberweisungPayPalVorauskasse

Shop-Beschreibung

Das Unternehmen AHA-BUCH GmbH: Seit der Gründung von AHA-BUCH im Juli 2005 ist unser Hauptziel, zufriedenen Kunden so schnell und so preisgünstig wie möglich ihren Bücherwunsch zu erfüllen. Unsere Firma beschäftigt 16 Mitarbeiter, die nur ein Ziel kennen: den Kunden und seine Wünsche! Auf über 3700 m2 Fläche haben wir über 100.000 Bücher, Modernes Antiquariat und Spiele auf Lager.

Spezialisierung

Kinderbücher & Kinderhör Casetten, German Books, Software, Natur & Tiere, Ratgeber, Sachbücher, Englische Bücher, Medizin & Gesundheit, Universität & Studium

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

AHA-BUCH GmbH

Garlebsen 48
Einbeck, Deutschland 37574