Suchergebnisse für ""Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems""




Ähnliche Artikel


The Agile Safety Case
33,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Thor Myklebust
Tor Stålhane
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
1st ed. 2018
7. Februar 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-70264-3

The Agile Safety Case
33,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Thor Myklebust
Tor Stålhane
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Softcover reprint of the original 1st ed. 2018
4. Juni 2019
Springer / Springer International Publishing / Springer, Berlin
978-3-319-88912-2

Logic of Programming and Calculi of Discrete Design
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare
Softcover reprint of the original 1st ed. 1987
9. April 2012
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-87376-8

Requirements Engineering Toward Sustainable World
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Third Asia-Pacific Symposium, APRES 2016, Nagoya, Japan, November 10-12, 2016, Proceedings
1st ed.
8. November 2016
Springer / Springer Nature Singapore / Springer, Berlin
978-981-10-3255-4

Developments in Language Theory
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008, Proceedings
2008
4. September 2008
Springer / Springer Berlin Heidelberg / Springer, Berlin
12519972,978-3-540-85779-2

Justifying the Dependability of Computer-based Systems
147,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Pierre-Jacques Courtois
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
With Applications in Nuclear Engineering
2008
11. September 2008
Springer / Springer London / Springer, Berlin
11800903,978-1-84800-371-2

Innovative Technologies for Dependable OTS-Based Critical Systems
74,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
Challenges and Achievements of the CRITICAL STEP Project
2013
25. Januar 2013
Springer / Springer Milan / Springer, Berlin
978-88-470-2771-8

Advances in Conceptual Modeling
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6-9, 2017, Proceedings
1st ed. 2017
10. November 2017
Springer / Springer International Publishing / Springer, Berlin
978-3-319-70624-5

Petri Nets for Modeling of Large Discrete Systems
110,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Reggie Davidrajuh
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
1st ed. 2021
23. September 2022
Springer / Springer Nature Singapore / Springer, Berlin
978-981-16-5205-9



Ähnlichkeitssuche: Fact®Finder von OMIKRON