Modeling and Verification of Parallel Processes: 4th Summer School, Movep 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures - Lecture Notes in Computer Science - F Cassez - Knjige - Springer-Verlag Berlin and Heidelberg Gm - 9783540427872 - 24. oktobra 2001
Če se naslovnica in naslov ne ujemata, je naslov pravilen

F Cassez
Modeling and Verification of Parallel Processes: 4th Summer School, Movep 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures - Lecture Notes in Computer Science Annotated edition

Cena
€ 43,99

Naročeno iz oddaljenega skladišča

Predvidena dobava 13. - 23. nov
Božična darila lahko vrnete do 31. januarja
Prejemajte obvestila o novih izdajah izvajalca F Cassez

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

Not rated yet

Daily life relies more and more on safety critical systems. MOVEP is a school devoted to the broad subject of modelling and verifying software and hardware systems. This volume contains tutorials and annotated bibliographies covering the main subjects addressed at MOVEP 2000.

Marc Notes: Includes bibliographical references and index. Table of Contents: Tutorials and Papers.- Model Checking: A Tutorial Overview.- Theorem Proving for Verification.- Composition and Abstraction.- UPPAAL - Now, Next, and Future.- HMSCs as Partial Specifications...with PNs as Completions.- Industrial Applications of Model Checking.- Formal Methods in Practice: The Missing Links. A Perspective from the Security Area.- Annotated Bibliographies.- Verification of Systems with an Infinite State Space.- Testing Transition Systems: An Annotated Bibliography.- Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography.- Mobile Processes: A Commented Bibliography.

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 24. oktobra 2001
ISBN13 9783540427872
Založniki Springer-Verlag Berlin and Heidelberg Gm
Strani 234
Dimenzije 155 × 233 × 12 mm   ·   335 g
Jezik Nemščina  
Urednik Cassez, Franck
Urednik Jard, Claude
Urednik Rozoy, Brigitte
Urednik Ryan, Mark D.

Več od istega **izdajatelja**

Ogled vseh F Cassez