Broschiertes Buch
Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität
3., verb. u. erw. Aufl.
1. März 1992
Vieweg+Teubner
Broschiertes Buch
Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität
2. Aufl.
1. Januar 1986
Vieweg+Teubner / Vieweg+Teubner Verlag
978-3-528-18928-0
Broschiertes Buch
Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität
3., verb. u. erw. Aufl. 1992.
1992
Vieweg+Teubner
Broschiertes Buch
A Guide to Practice-Oriented Theory
2024
2. März 2024
Springer / Springer International Publishing / Springer, Berlin
978-3-031-54357-9
Broschiertes Buch
1st ed. 2018
10. April 2018
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-56639-8
Broschiertes Buch
A Method for High-Level System Design and Analysis
Softcover reprint of the original 1st ed. 2003
3. Oktober 2013
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-62116-1
Broschiertes Buch
Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures
2008
1. Dezember 2008
Springer / Springer Berlin Heidelberg / Springer, Berlin
12567669,978-3-540-89761-3
Broschiertes Buch
2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings
1989.
6. September 1989
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-51659-0
Broschiertes Buch
Definition, Verification, Validation
Softcover reprint of the original 1st ed. 2001
23. August 2014
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-63997-5
Gebundenes Buch
Definition, Verification, Validation
2001
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-42088-0
Ähnlichkeitssuche: Fact®Finder von OMIKRON
