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 /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Bernardo, Marco (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Corradini, Flavio (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004.
Έκδοση:1st ed. 2004.
Σειρά:Lecture Notes in Computer Science, 3185
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Περιγραφή
Φυσική περιγραφή:VII, 297 p. online resource.
ISBN:9783540300809
ISSN:0302-9743 ;
DOI:10.1007/b110123