25 Years of Model Checking : History, Achievements, Perspectives /

Contiene: 1) El nacimiento de la verificación de modelos. 2) El comienzo de la verificación de modelos: una perspectiva personal. 3) Transferencia de tecnología de verificación. 4) Nuevos desafíos en la verificación de modelos. 5) Una retrospectiva sobre Murϕ. 6) Verificación de modelos: de las herr...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής

Κύριος συγγραφέας:	Grumberg, Orna (edición)
Άλλοι συγγραφείς:	Veith, Helmut (edición) (edición)
Μορφή:	Βιβλίο
Γλώσσα:	Αγγλικά
Έκδοση:	Berlín, Alemania : Springer, 2008, c2008
Σειρά:	(Lecture Notes in Computer Science ; Theoretical Computer Science and General Issues) 5000.
Θέματα:	Algoritmos Computacionales - > Tema Principal Control de Procesos - > Modelos Matemáticos Modelos Matemáticos Lenguajes de Programación - > Tema Principal Lenguajes Formales Lógica Matemática Lógica Formal Desarrollo de Sistemas Sistemas Computacionales - > Prueba y Medición - > Tema Principal Ingeniería Computacional
Διαθέσιμο Online:	Ver documento en línea
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!