1
0
0
(1 - 19 von 20
)
Software and Systems Safety: Specification and Verification by ...
www.goodreads.com
Manfred Broy (Editor), Christian Leuxner (Editor) ratings0 reviews. Information security depends upon an understanding of the functionality of ... › show
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 ...
Leuxner, Christian [WorldCat Identities]
worldcat.org
Most widely held works by Christian Leuxner. Software and systems safety : specification and verification by NATO Advanced Study Institute on 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:
Software and systems safety : specification and verification (E-Book,...
www.worldcat.org
Diesen Titel erhalten Sie in einer Bibliothek! Software and systems safety : specification and verification. [M Broy; Christian Leuxner; C A R Hoare;]
@(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 ...
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 ...
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