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
74,99 €
Versandfertig in über 4 Wochen
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 ed. 2021
28. Juli 2020
Springer / Springer Nature Singapore / Springer, Berlin
978-981-15-5053-9
Auch erhältlich als
eBook, PDF96,29 €
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems (eBook, PDF)
96,29 €
inkl. MwSt. und vom Verlag festgesetzt.
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 Singapore
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
74,99 €
Versandfertig in über 4 Wochen
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 ed. 2021
29. Juli 2021
Springer / Springer Nature Singapore / Springer, Berlin
978-981-15-5056-0

Ähnliche Artikel

Requirements Engineering Toward Sustainable World
37,99 €
Versandfertig in über 4 Wochen
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
Advances in Conceptual Modeling
37,99 €
Versandfertig in über 4 Wochen
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
Requirements Engineering: Foundation for Software Quality
37,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Requirements Engineering: Foundation for Software Quality
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings
1st ed. 2018
1. März 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-77242-4
Search-Based Software Engineering
37,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Search-Based Software Engineering
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings
1st ed. 2015
5. August 2015
Springer / Springer International Publishing / Springer, Berlin
978-3-319-22182-3
Model-Based Safety and Assessment
37,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Model-Based Safety and Assessment
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16¿18, 2019, Proceedings
1st ed. 2019
18. Oktober 2019
Springer / Springer International Publishing / Springer, Berlin
978-3-030-32871-9
Software Engineering for Resilient Systems
37,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Software Engineering for Resilient Systems
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings
1st ed. 2016
26. August 2016
Springer / Springer International Publishing / Springer, Berlin
978-3-319-45891-5
Formal Techniques for Safety-Critical Systems
37,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Formal Techniques for Safety-Critical Systems
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
1st ed. 2016
3. Februar 2016
Springer / Springer International Publishing / Springer, Berlin
978-3-319-29509-1
Concise Guide to Software Engineering
37,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Gerard O'Regan
Concise Guide to Software Engineering
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
From Fundamentals to Application Methods
2. Aufl.
25. September 2022
Springer / Springer International Publishing / Springer, Berlin
978-3-031-07815-6
Computer Safety, Reliability, and Security
37,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Computer Safety, Reliability, and Security
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings
2009
7. September 2009
Springer, Berlin
12753260


Ähnlichkeitssuche: Fact®Finder von OMIKRON