Cantitate/Preț
Produs
Total produse
Vezi coșul
Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures de Marco Bernardo

Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures: Lecture Notes in Computer Science, cartea 3185

Editat de Marco Bernardo, Flavio Corradini
en Limba Engleză Paperback – sep 2004

Din seria Lecture Notes in Computer Science

Preț: 33304 lei

Preț vechi: 41630 lei
-20% Nou

Puncte Express: 500
Preț estimativ în valută:
6373€ • 6616$ • 5314£

Carte tipărită la comandă

Livrare economică 22 martie-05 aprilie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540230687
ISBN-10: 3540230688
Pagini: 308
Ilustrații: VII, 297 p.
Dimensiuni: 160 x 240 x 16 mm
Greutate: 0.44 kg
Ediția:2004
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Models and Languages.- Decision Problems for Timed Automata: A Survey.- Timed Petri Nets: Efficiency of Asynchronous Systems.- Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing).- Expressiveness of Timed Events and Timed Languages.- Real Time and Stochastic Time.- On the Semantic Foundations of Standard UML 2.0.- Tools and Applications.- A Tutorial on Uppaal.- The IF Toolset.- Embedded Software Analysis with MOTOR.

Caracteristici

Includes supplementary material: sn.pub/extras