Umfang:
XI, 368 S.
ISBN:
3540001417
Serie:
Lecture notes in computer science 2529
Anmerkung:
Literaturangaben
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Verteiltes System
;
Software Engineering
;
Verteiltes System
;
Formale Methode
;
Telekommunikationsnetz
;
Kommunikationsprotokoll
;
Rechnernetz
;
Softwarespezifikation
;
Formale Spezifikationstechnik
;
Softwaretest
;
Formale Methode
;
Model Checking
;
Konferenzschrift
Mehr zum Autor:
Peled, Doron 1962-