- Sprache
-
Englisch
- Umfang
-
XII, 266 S.
- ISBN
-
978-3-540-77964-3
- Identifier
-
98721926X
- Reihe
-
Lecture notes in computer science; Vol. 4899
Thema
Hardwareverifikation ; Programmverifikation ; Korrektheit ; Softwaretest ; Model Checking ; Konferenzschrift Haifa; Kongress Haifa <2007>
Beteiligte Personen und Organisationen
Yorav, Karen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
16.08.2023, 18:22 MESZ
Objekttyp
- Monografie
Beteiligte
- Yorav, Karen
Ä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