Format:
XI, 368 S.
ISBN:
3540001417
Series Statement:
Lecture notes in computer science 2529
Note:
Literaturangaben
Language:
English
Subjects:
Computer Science
Keywords:
Verteiltes System
;
Software Engineering
;
Verteiltes System
;
Formale Methode
;
Telekommunikationsnetz
;
Kommunikationsprotokoll
;
Rechnernetz
;
Softwarespezifikation
;
Formale Spezifikationstechnik
;
Softwaretest
;
Formale Methode
;
Model Checking
;
Konferenzschrift
Author information:
Peled, Doron 1962-