- Sprache
-
Englisch
- Umfang
-
XII, 214 S.
- ISBN
-
978-3-642-01701-8
- Identifier
-
993919472
- Reihe
-
Lecture notes in computer science; 5394
Thema
Hardwareverifikation ; Programmverifikation ; Korrektheit ; Softwaretest ; Model Checking ; Konferenzschrift Haifa; Kongress Haifa <2008>
Beteiligte Personen und Organisationen
Chockler, Hana
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
16.08.2023, 18:22 MESZ
Objekttyp
- Monografie
Beteiligte
- Chockler, Hana
Ähnliche Objekte (12)
Hardware and software: verification and testing : proceedings
Hardware and software, verification and testing : revised selected papers
Hardware and software : verification and testing ; revised selected papers
Hardware and software : verification and testing ; revised selected papers
Hardware and software: verification and testing : revised selected papers
Hardware and software: verification and testing : revised selected papers
Static analysis : 9th international symposium ; proceedings
Formal methods and software engineering : proceedings
Tests and proofs : second international conference ; proceedings
Tests and proofs : third international conference ; proceedings
Formal methods and software engineering : proceedings
Software engineering and formal methods : 10th international conference ; proceedings
Hardware and software: verification and testing : proceedings
Hardware and software, verification and testing : revised selected papers
Hardware and software : verification and testing ; revised selected papers
Hardware and software : verification and testing ; revised selected papers
Hardware and software: verification and testing : revised selected papers
Hardware and software: verification and testing : revised selected papers
Static analysis : 9th international symposium ; proceedings
Formal methods and software engineering : proceedings
Tests and proofs : second international conference ; proceedings
Tests and proofs : third international conference ; proceedings
Formal methods and software engineering : proceedings
Software engineering and formal methods : 10th international conference ; proceedings
Hardware and software: verification and testing : proceedings
Hardware and software, verification and testing : revised selected papers
Hardware and software : verification and testing ; revised selected papers
Hardware and software : verification and testing ; revised selected papers
Hardware and software: verification and testing : revised selected papers
Hardware and software: verification and testing : revised selected papers
Static analysis : 9th international symposium ; proceedings
Formal methods and software engineering : proceedings
Tests and proofs : second international conference ; proceedings
Tests and proofs : third international conference ; proceedings
Formal methods and software engineering : proceedings