Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Petri Nets for Systems Engineering

A Guide to Modeling, Verification, and Applications

Taal EngelsEngels
Boek Gebonden (harde band)
Boek Petri Nets for Systems Engineering Claude Girault
Libristo-code: 01563128
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, november 2002
Formal methods for the specification and verification of hardware and software systems are becoming... Volledige beschrijving
? points 277 b
114.71 €
In extern magazijn in kleine hoeveelheid Wordt binnen 11-15 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Dessins sur la Danses de Vaslav Nijinsky George Barbier / Boek Gebonden (harde band)
common.buy 26.95 €
Under York Ivo Hury / Boek Gebonden (paperback)
common.buy 4.96 €
NOWA Biologia na czasie 2. Liceum i technikum. Podręcznik. Zakres podstawowy. Nowość 2025 Holeczek Jolanta / Boek Gebonden (paperback)
common.buy 16.91 €
Le rapport public annuel 2021 T1 de la Cour des comptes COUR DES COMPTES / Boek Boek
common.buy 35.76 €
La tisseuse de rêve Jobert / Boek Gebonden (paperback)
common.buy 29.89 €
Grèce - Trésors d'une civilisation ancienne Stefano Maggi / Boek Gebonden (harde band)
common.buy 19.55 €
Carnet C&G poche ligne honeycomb gold CASTELLI / Kalender/agenda Agenda
common.buy 12.66 €
Young Adult ELI Readers - Spanish Fernando Rojas de / Boek Gebonden (paperback)
common.buy 7.69 €
Cornelsen Literathek - Textausgaben - Frühlings Erwachen - Empfohlen für das 10.-13. Schuljahr - Textausgabe - Text - Erläuterungen - Materialien Frank Wedekind / Boek Gebonden (paperback)
common.buy 8.60 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Petri Nets for Systems Engineering
Auteur Claude Girault, Rüdiger Valk
Taal Engels
Bindwijze Boek - Gebonden (harde band)
Datum van uitgifte 2002
Aantal pagina's 607
EAN 9783540412175
ISBN 3540412174
Libristo-code 01563128
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 2320
Afmetingen 155 x 235 x 38

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Informatica en informatietechnologie > Informatica > Mens-computerinteractie > Design van gebruikersinterface en gebruikersvriendelijkheid (UX)
Economie, Financiën, Bedrijf en Management > Bedrijfsmanagement > Bedrijfswiskunde en -systemen
Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Communicatietechnologie / telecommunicatie
Informatica en informatietechnologie > Computer hardware > Netwerkhardware
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Systeemanalyse en systeemontwerp
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Bedrijfsapplicaties
Informatica en informatietechnologie > Besturingssystemen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

A Wolf at the Door: A Jesse James Dawson Novel K. A. Stewart / Boek Gebonden (paperback)
common.buy 10.73 €
The Drama of Scripture: Finding Our Place in the Biblical Story Michael W. Goheen / Boek Gebonden (paperback)
common.buy 23.20 €
TOP
Apothecary Diaries: Volume 5 (Light Novel) Natsu Hyuuga / E-book Adobe ePub DRM
common.buy 7.49 €
Women in Medieval England Lynda Telford / Boek Gebonden (paperback)
common.buy 12.86 €
New Public Management (NPM) and the Introduction of an Accrual Accounting System Adriana Bruno / Boek Gebonden (paperback)
common.buy 58.57 €
The Basic Law Of Vocal Utterance (1894) Emil Sutro / Boek Gebonden (paperback)
common.buy 23.10 €
Brazilian Portuguese Language: 101 Brazilian Portuguese Verbs Jose Silva / Boek Gebonden (paperback)
common.buy 11.24 €
Shared Experiences of Mass Shootings Johanna Nurmi / Boek Gebonden (paperback)
common.buy 66.98 €
Dracula Bram Stoker / Boek Gebonden (harde band)
common.buy 30.90 €
100 first animals in armenian YukiSmart / Boek Gebonden (paperback)
common.buy 13.06 €
180 Days of Science for Sixth Grade Bebra Bayne / Boek Gebonden (paperback)
common.buy 19.35 €
Life in an Indian village Ramakrishna Pillai Thottakadu Ramakrishna Pillai / Boek Gebonden (paperback)
common.buy 27.05 €
The Lost Gospel and its Contents Rev M F Sadler / Boek Gebonden (paperback)
common.buy 19.55 €
TOP
Super-Pets! Billy Wrecks / Boek Gebonden (harde band)
common.buy 7.29 €
Memorial Sermon of the Late REV. Frederick Starr, Jr David Magie / Boek Gebonden (harde band)
common.buy 26.95 €
TOP
LUCY UNDYING WHITE KIERSTEN / Boek Gebonden (paperback)
common.buy 9.72 €
Project Notebook Speedy Publishing LLC / Boek Gebonden (paperback)
common.buy 13.57 €
7 Kids William D Cole / Boek Gebonden (harde band)
common.buy 36.88 €
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 / Boek Gebonden (paperback)
common.buy 25.93 €
Button Button: Identification and Price Guide Peggy Ann Osborne / Boek Gebonden (paperback)
common.buy 14.08 €
TOP
Beautifull Cassandra Jane Austen / Boek Gebonden (paperback)
common.buy 4.55 €
Life and Opinions of Maf the Dog, and of his friend Marilyn Monroe Andrew O´Hagan / Boek Gebonden (paperback)
common.buy 10.83 €
Sacred Sites of Burma Donald Stadtner / Boek Gebonden (paperback)
common.buy 23.81 €
Building San Francisco's Parks, 1850-1930 Terence Young / Boek Gebonden (paperback)
common.buy 38.81 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?