Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings: ... Notes in Computer Science, Band 2937)
53.49 EUR
Ein umfassendes Werk über formale Verifikation, Modellprüfung und abstrakte Interpretation aus der VMCAI‑Konferenz 2004 in Venedig; es bietet theoretische Grundlagen, neue Algorithmen und praxisnahe Anwendungen für Informatikforscher.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
SpringerLink DE
Verification, Model Checking, and Abstract Interpretation
SpringerLink DE
22-04-2026 09:18:23
Gesponsert
Galaxus.de
Verification, Model Checking, and Abstract Interpretation, Fachbücher von Bernhard Steffen, Giorgio Levi
Galaxus.de
21-04-2026 19:00:56
