Monografie
Computer aided verification : 15th international conference ; proceedings
- Sprache
-
Englisch
- Umfang
-
XII, 462 S.
- ISBN
-
978-3-540-40524-5
- Identifier
-
967965306
- Reihe
-
Lecture notes in computer science; Vol. 2725
Thema
Verifikation ; Konferenzschrift Boulder (Colo.); Kongress Boulder <2003>
Beteiligte Personen und Organisationen
Hunt, Warren A.
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
16.08.2023, 18:37 MESZ
Objekttyp
- Monografie
Beteiligte
- Hunt, Warren A.
Ähnliche Objekte (12)
Geographic information science : second international conference ; proceedings
Extinction events in earth history : proceedings of the project 216: Global biological events in earth history
Computer aided verification : 21st international conference ; proceedings
Computer aided verification : 13th international conference ; proceedings
Computer aided verification : 11th international conference ; proceedings
Computer aided verification : 19th international conference ; proceedings
Computer aided verification : 14th international conference ; proceedings
Computer aided verification : 22nd international conference ; proceedings
Computer aided verification : 16th international conference ; proceedings
Computer aided verification : 20th international conference ; proceedings
Computer aided verification : 18th international conference ; proceedings
Formal methods in computer aided design : third international conference ; proceedings
Geographic information science : second international conference ; proceedings
Extinction events in earth history : proceedings of the project 216: Global biological events in earth history
Computer aided verification : 21st international conference ; proceedings
Computer aided verification : 13th international conference ; proceedings
Computer aided verification : 11th international conference ; proceedings
Computer aided verification : 19th international conference ; proceedings
Computer aided verification : 14th international conference ; proceedings
Computer aided verification : 22nd international conference ; proceedings
Computer aided verification : 16th international conference ; proceedings
Computer aided verification : 20th international conference ; proceedings
Computer aided verification : 18th international conference ; proceedings
Formal methods in computer aided design : third international conference ; proceedings
Geographic information science : second international conference ; proceedings
Extinction events in earth history : proceedings of the project 216: Global biological events in earth history
Computer aided verification : 21st international conference ; proceedings
Computer aided verification : 13th international conference ; proceedings
Computer aided verification : 11th international conference ; proceedings
Computer aided verification : 19th international conference ; proceedings
Computer aided verification : 14th international conference ; proceedings
Computer aided verification : 22nd international conference ; proceedings
Computer aided verification : 16th international conference ; proceedings
Computer aided verification : 20th international conference ; proceedings
Computer aided verification : 18th international conference ; proceedings