Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Petri Nets for Systems Engineering

Name: Petri Nets for Systems Engineering
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01563128
Price: 99.59 EUR
Availability: InStock
Author: Claude Girault
ISBN: 9783540412175

A Guide to Modeling, Verification, and Applications

Claude Girault

Rüdiger Valk

Sprache

Englisch

Buch Hardcover

Libristo-Code: 01563128

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, November 2002

Formal methods for the specification and verification of hardware and software systems are becoming... Vollständige Beschreibung

Libristo-Code: 01563128

244 b

99.59 € inkl. MwSt.

Externes Lager Wir versenden in 10-13 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Dessins sur la Danses de Vaslav Nijinsky George Barbier

Hardcover

22.79 €

Under York Ivo Hury

Broschur

4.49 €

Emotionale Intelligenz Lars Hesterkamp

Broschur

16.90 €

NOWA Biologia na czasie 2. Liceum i technikum. Podręcznik. Zakres podstawowy. Nowość 2025 Holeczek Jolanta

Broschur

13.59 €

Le rapport public annuel 2021 T1 de la Cour des comptes COUR DES COMPTES

Buch

28.99 €

La tisseuse de rêve Jobert

Broschur

24.19 €

Grèce - Trésors d'une civilisation ancienne Stefano Maggi

Hardcover

15.79 €

Carnet C&G poche ligne honeycomb gold CASTELLI

Terminbuch

11.39 €

Young Adult ELI Readers - Spanish Fernando Rojas de

Broschur

6.79 €

Cornelsen Literathek - Textausgaben - Frühlings Erwachen - Empfohlen für das 10.-13. Schuljahr - Textausgabe - Text - Erläuterungen - Materialien Frank Wedekind

Broschur

7.49 €

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 the 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, such fundamental concepts as composition, abstraction, and reusability of models, model verification, and verification of properties are systematically introduced.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Petri Nets for Systems Engineering

Autor Claude Girault, Rüdiger Valk

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2002

Anzahl der Seiten 607

EAN 9783540412175

ISBN 3540412174

Libristo-Code 01563128

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 2320

Abmessungen 155 x 235 x 38

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Interfacedesign, Benutzerfreundlichkeit (Usability)

Wirtschaftswissenschaft, Finanzen, Betriebswirtschaft und Management > Betriebswirtschaft und Management > Wirtschaftsmathematik und -informatik, IT-Management

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Nachrichtententechnik, Telekommunikation

EDV und Informationstechnologie > Computerhardware > Netzwerk-Hardware

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Systemanalyse und -design

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Unternehmensanwendungen

EDV und Informationstechnologie > Betriebssysteme

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

A Wolf at the Door: A Jesse James Dawson Novel K. A. Stewart

Broschur

11.19 €

The Drama of Scripture: Finding Our Place in the Biblical Story Michael W. Goheen

Broschur

18.59 €

Apothecary Diaries: Volume 5 (Light Novel) Natsu Hyuuga

Adobe ePub DRM

6.39 €

Women in Medieval England Lynda Telford

Broschur

10.99 €

New Public Management (NPM) and the Introduction of an Accrual Accounting System Adriana Bruno

Broschur

51.09 €

The Basic Law Of Vocal Utterance (1894) Emil Sutro

Broschur

23.89 €

Brazilian Portuguese Language: 101 Brazilian Portuguese Verbs Jose Silva

Broschur

11.59 €

Shared Experiences of Mass Shootings Johanna Nurmi

Broschur

59.99 €

Dracula Bram Stoker

Hardcover

26.59 €

100 first animals in armenian YukiSmart

Broschur

10.89 €

180 Days of Science for Sixth Grade Bebra Bayne

Broschur

15.59 €

Life in an Indian village Ramakrishna Pillai Thottakadu Ramakrishna Pillai

Broschur

18.59 €

The Lost Gospel and its Contents Rev M F Sadler

Broschur

16.39 €

Super-Pets! Billy Wrecks

Hardcover

7.59 €

Memorial Sermon of the Late REV. Frederick Starr, Jr David Magie

Hardcover

22.69 €

LUCY UNDYING WHITE KIERSTEN

Broschur

9.59 €

Project Notebook Speedy Publishing LLC

Broschur

10.89 €

7 Kids William D Cole

Hardcover

27.89 €

Pausanias the Spartan. an Unfinished Historical Romance. by the Late Lord Lytton. Edited by His Son [I.E. E. R. B. Lytton, Earl of Lytton]. Second Edi Edward Robert Bulwer Lytton

Broschur

20.79 €