1
0
0
(1 - 20 von 22
)
Software and Systems Engineering - Personen
wwwbroy.in.tum.de
Christian Leuxner Dr. Klaus Lochmann Patrick Löffler Dr. Heiko Lötzbeyer Ingrid Luhn Dr. Frank Marschall Dr. Michael Meisinger Dr. Christian Menkens Dr. Stefano Merenda Dr. Stephan Merz Katherine Mickan, Dr. Matthias Möller Dr. Sascha Molterer Silke Müller Eva Müller Dr. Olaf Müller Dr. Jakob Mund
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