1
0
0
(1 - 17 von 19
)
Tony Hoare (Author of Engineering Theories Of Software Construction)
www.goodreads.com
Christian Leuxner (Editor),. Tony Hoare (Editor) avg rating — 0 ratings — published — 3 editions. Want to Read saving… Error rating book.
Software and Systems Safety - Specification and Verificationebooks.iospress.nl › ISBN
ebooks.iospress.nl
Manfred Broy, Christian Leuxner, Tony Hoare. ISBN (print) | (online). Description. Information security depends upon an ...
Dependable Software Systems Engineering - Google Books
books.google.co.uk
In Manfred Broy, Christian Leuxner, and Tony Hoare, editors, Software and Systems Safety - Specification and Verification, volume 30 of NATO Science for ...
Engineering Dependable Software Systems - NATO Emerging Security...
books.google.dk
In Farhad Arbab and Marjan Sirjani, editors, FSEN, volume of Lecture Notes in Computer Science, pages 34–61. Springer, Uli Fahrenberg, Kim G. Larsen, and Claus Thrane. Model-based verification and analysis for real-time systems. In Manfred Broy, Christian Leuxner, and Tony Hoare, editors, Software and ...
Software and Systems Safety − Specification and Verification
www.cs.ox.ac.uk
Software and Systems Safety − Specification and Verification. Editor. Manfred Broy and Christian Leuxner and Tony Hoare. ISBN. 978−1−60750−710−9. › publicati...
Department of Computer Science, University of Oxford: Publication -...
www.cs.ox.ac.uk
Tony Hoare and John Wickerson. Book Title. Software and Systems Safety − Specification and Verification. Editor. Manfred Broy and Christian Leuxner and Tony ...
dblp: Manfred Broy
dblp.uni-trier.de
Manfred Broy, Christian Leuxner, Tony Hoare: Software and Systems Safety - Specification and Verification. NATO Science for Peace and Security Series - D: Information and Communication Security 30, IOS Press 2011, ISBN
Search results for "Manfred Broy" – FacetedDBLP
dblp.l3s.de
Manfred Broy, Christian Leuxner, Tony Hoare (eds.) Software and Systems Safety - Specification and Verification: 2011: DBLP DOI BibTeX RDF: 1: Manfred Broy:
@(opengroup, title = "The Open Group Architecture Forum ...eptcs.web.cse.unsw.edu.au › references › AiSoS
cgi.cse.unsw.edu.au
... Broy and Christian Leuxner and Tony Hoare", year = "2011", title = "Software and Systems Safety - Specification and Verification", series = "NATO Science for ...
Formal Verification (Lecture notes from Marktoberdorf 2010)
www.cl.cam.ac.uk
... title = "Formal Verification (Lecture notes from Marktoberdorf 2010)", editor = "Manfred Broy and Christian Leuxner and Tony Hoare", title = "Software ... › mark10
HTML - Electronic Proceedings in Theoretical Computer Science
cgi.cse.unsw.edu.au
53–72, doi: s Manfred Broy, Christian Leuxner & Tony Hoare (2011): Software and Systems Safety - Specification and Verification.
Alfaisal Library catalog › Results of search for 'su:{Software...
libkoha.alfaisal.edu
Software and systems safety [electronic resource] :specification and verification / edited by Manfred Broy, Christian Leuxner and Tony Hoare. by Broy, Manfred ...
Subject: Computer & Communication Sciences
84.247.10.198
Manfred Broy, Christian Leuxner, Tony Hoare. ISBN (print) | (online). Show contents. $ € £ › Subject › c...
Strathmore University Library catalog › Details for: Software ...
opac.library.strathmore.edu
Software and systems safety [electronic resource] : specification and verification / edited by Manfred Broy, Christian Leuxner and Tony Hoare. Contributor(s): ...
Alle Infos zum Namen "Christian Leuxner"
sortiert nach Relevanz / Datum