Monografie
Automated technology for verification and analysis : 8th international symposium ; proceedings
- Sprache
-
Englisch
- Umfang
-
XI, 404 S.
- ISBN
-
978-3-642-15642-7
- Identifier
-
1005454442
- Reihe
-
Lecture notes in computer science; 6252
- Thema
-
Softwareentwicklung ; Systementwurf ; Systemanalyse ; Model Checking ; Formale Methode ; Verifikation ; Zeitbehafteter Automat ; Konferenzschrift Singapur; Kongress Singapur <2010>
- Beteiligte Personen und Organisationen
-
Bouajjani, Ahmed
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.04.2024, 08:44 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Monografie
Beteiligte
- Bouajjani, Ahmed
Ähnliche Objekte (12)
Automated technology for verification and analysis : 7th international symposium ; proceedings
Automated technology for verification and analysis : 4th international symposium ; proceedings
Automated technology for verification and analysis : 6th international symposium ; proceedings
Automated technology for verification and analysis : 9th international symposium ; proceedings
Automated technology for verification and analysis : 10th international symposium ; proceedings
Automated technology for verification and analysis : second international conference : proceedings
Automated Verification of Parallel Nested DFS
Highly Automated Formal Verification of Arithmetic Circuits
Automated deduction : proceedings
Automated deduction : proceedings
Automated deduction : proceedings
Automated deduction : proceedings
Automated technology for verification and analysis : 7th international symposium ; proceedings
Automated technology for verification and analysis : 4th international symposium ; proceedings
Automated technology for verification and analysis : 6th international symposium ; proceedings
Automated technology for verification and analysis : 9th international symposium ; proceedings
Automated technology for verification and analysis : 10th international symposium ; proceedings
Automated technology for verification and analysis : second international conference : proceedings
Automated Verification of Parallel Nested DFS
Highly Automated Formal Verification of Arithmetic Circuits
Automated deduction : proceedings
Automated deduction : proceedings
Automated deduction : proceedings
Automated deduction : proceedings
Automated technology for verification and analysis : 7th international symposium ; proceedings
Automated technology for verification and analysis : 4th international symposium ; proceedings
Automated technology for verification and analysis : 6th international symposium ; proceedings
Automated technology for verification and analysis : 9th international symposium ; proceedings
Automated technology for verification and analysis : 10th international symposium ; proceedings
Automated technology for verification and analysis : second international conference : proceedings
Automated Verification of Parallel Nested DFS
Highly Automated Formal Verification of Arithmetic Circuits
Automated deduction : proceedings
Automated deduction : proceedings
Automated deduction : proceedings