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

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
77,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
Communications of NII Shonan Meetings
1st edition 2021
28. Juli 2020
Springer / Springer Nature Singapore / Springer, Berlin
978-981-15-5053-9
Auch erhältlich als
eBook, PDF73,95 €
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
77,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Communications of NII Shonan Meetings
1st edition 2021
29. Juli 2021
Springer / Springer Nature Singapore / Springer, Berlin
978-981-15-5056-0
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems (eBook, PDF)
73,95 €
Sofort per Download lieferbar
Versandkostenfrei
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
27. Juli 2020
Springer Nature Singapore

Ähnliche Artikel

Logic of Programming and Calculi of Discrete Design
41,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Logic of Programming and Calculi of Discrete Design
  (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
39,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Requirements Engineering Toward Sustainable World
  (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
39,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Developments in Language Theory
  (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
154,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Pierre-Jacques Courtois
Justifying the Dependability of Computer-based Systems
  (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
77,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Innovative Technologies for Dependable OTS-Based Critical Systems
  (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
39,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Advances in Conceptual Modeling
  (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
116,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Reggie Davidrajuh
Petri Nets for Modeling of Large Discrete Systems
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
1st edition 2021
23. September 2022
Springer / Springer Nature Singapore / Springer, Berlin
978-981-16-5205-9
Petri Nets for Modeling of Large Discrete Systems
116,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Reggie Davidrajuh
Petri Nets for Modeling of Large Discrete Systems
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
1st edition 2021
22. September 2021
Springer / Springer Nature Singapore / Springer, Berlin
978-981-16-5202-8
Colored Petri Nets for Modeling of Discrete Systems
123,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Reggie Davidrajuh
Colored Petri Nets for Modeling of Discrete Systems
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
A Practical Approach With GPenSIM
6. November 2024
Springer / Springer Nature Singapore / Springer, Berlin
978-981-99-6861-9


Ähnlichkeitssuche: Fact®Finder von OMIKRON