• Formal methods for the design...
  • Bestand

Treffer: Formal methods for the design of real-time systems

Titel:
Formal methods for the design of real-time systems : revised lectures / International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13 - 18, 2004. Marco Bernardo ... (eds)
Beteiligt:
Bernardo, Marco (Herausgeber) 
Körper­schaft:
International School on Formal Methods for the Design of Computer, Communication and Software Systems (4 : 2004 : Bertinoro)
Veröffent­licht:
Berlin : Springer, 2004
Umfang:
VI, 293 Seiten : Diagramme ; 24 cm
Format:
Buch
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Lecture notes in computer science ; Vol. 3185 : Tutorial
alle Bände anzeigen
Anmerkungen:
Literaturangaben
RVK-Notation:
SS 4000
Schlagworte:
ISBN:
3540230688 ; 9783540230687

Zusatz-Informationen

Zusatz-Funktionen