1
0
0
(1 - 18 von 20
)
Sehc - AbeBooks
www.abebooks.com
Software Engineering in Health Care : 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July ,...
Software Engineering in Health Care - Michaela Huhn - Paperback...
www.bokkilden.no
Vår pris 781,-(portofritt). This book constitutes revised selected papers from the jointly held conferences FHIES 2014, 4th International Symposium on ...
bokus.com: Software Engineering in Health Care - Michaela Huhn, Laurie Williams...
Köp Software Engineering in Health Care av Michaela Huhn, Laurie Williams. Skickas inom vardagar. Fri frakt över 199 kr. Välkommen till Bokus bokhandel!
Michaela Huhn on Apple Books
books.apple.com
Preview and download books by Michaela Huhn, including Software Engineering in Health Care.
Distributed and Parallel Embedded Systems: IFIP WG10.3/WG
books.google.de
... AND TERM REWRITING FOR THE VERIFICATION OF AN EMBEDDED SYSTEM Klaus Schneider and Michaela Huhn Institute for Computer Design and Fault Tolerance (Prof.
Foundations of Health Information Engineering and Systems: Second
books.google.de
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Symposium on Foundations of Health Information...
Software Engineering in Health Care : Michaela Huhn :
www.bookdepository.com
Software Engineering in Health Care by Michaela Huhnavailable at Book Depository with free delivery worldwide.
Software Engineering in Health Care von Michaela Huhn | ISBN...
www.lehmanns.de
Software Engineering in Health Care von Michaela Huhn, Laurie Williams (ISBN ) bestellen. Schnelle Lieferung, auch auf Rechnung ...
Formale Verifikation eingebetteter Systeme
www.degruyter.com
· Detlef Schmid, Klaus Schneider, Michaela Huhn, George Logothetis and Viktor Sabelfeld. From the journal it - Information Technology.
Michaela Huhn
www.db.informatik.uni-bremen.de
Thomas Firley, Michaela Huhn, Karsten Diethers, Thomas Gehrke, Ursula Goltz: Timed Sequence Diagrams and Tool-Based Analysis A Case Study, Second ...
Quality of Software Architectures: Second International Conference on...
books.google.de
Although the quality of a system’s software architecture is one of the critical factors in its overall quality, the architecture is simply a means to an end,...
Software Engineering in Health Care: 4th International Symposium,...
books.google.de
This book constitutes revised selected papers from the jointly held conferences FHIES 2014, 4th International Symposium on Foundations of Health Information...
Tools and Algorithms for the Construction and Analysis of Systems:...
books.google.de
Vooduu: Verification of Object-Oriented Designs Using UPPAAL Karsten Diethers⋆ and Michaela Huhn Technical University of Braunschweig, D Braunschweig ...
Formale Beschreibungstechniken für verteilte Systeme: books.google.co.za › books
books.google.co.za
We would like to thank Michaela Huhn for fruitful comments . References [ 1 ] Grady Booch , James Rumbaugh , and Ivar Jacobson .
Leveraging Applications of Formal Methods, Verification, and...
books.google.com.ua
Arguing for Software Quality in an IEC Compliant Development Process Michaela Huhn and Axel Zechner Institut f ̈ur Informatik Technische Universit ...
Eine Million oder ein Jahr: hinter den Kulissen der IT ; ein Insider...
books.google.de
... in einer Programmvariablen verfehlt eine Patriotrakete eine angreifende Scudrakete (Quelle: Dr. Michaela Huhn, Institut für Informatik, TU Clausthal). Wie in ...
Formal Methods for Industrial Critical Systems: 17th International...
books.google.de
This book constitutes the proceedings of the 17th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, held in Paris, France,...
CONCUR '96: Concurrency Theory: 7th International Conference, Pisa,...
books.google.com.ua
This book constitutes the refereed proceedings of the 7th International Conference on Concurrency Theory, CONCUR '96, held in Pisa, Italy, in August The...
sortiert nach Relevanz / Datum