Beispielbild für diese ISBNPredicate Calculus and Program Semantics
von Edsger W. Dijkstra, Carel S. Scholten Verlag: Springer
2011 Kartoniert, 240 Seiten, 235mm x 155mm x 14mm, Sprache(n): eng
101,85 EUR
Beispielbild für diese ISBNFormal Techniques for Distributed Objects, Components, and Systems - 43rd IFIP WG 6.1 Internationa…
Verlag: Springer
2023 Kartoniert, 240 Seiten, 235mm x 155mm x 14mm, Sprache(n): eng
85,24 EUR
Beispielbild für diese ISBNTheoretical Aspects of Software Engineering - 19th International Symposium, TASE 2025, Limassol, C…
Verlag: Springer
2025 Kartoniert, 416 Seiten, 235mm x 155mm x 23mm, Sprache(n): eng
91,34 EUR
Beispielbild für diese ISBNLogic, Language, and Computation - 11th International Tbilisi Symposium on Logic, Language, and Co…
Verlag: Springer
2017 Kartoniert, 388 Seiten, 235mm x 155mm x 21mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
60,88 EUR
Beispielbild für diese ISBNProgramming Languages and Systems - 23rd European Symposium on Programming, ESOP 2014, Held as Par…
Verlag: Springer
2014 Kartoniert, 592 Seiten, 235mm x 155mm x 32mm, Sprache(n): eng
60,88 EUR
Beispielbild für diese ISBNArtificial Intelligence Logic and Applications - The 2nd International Conference, AILA 2022, Shan…
Verlag: Springer
2022 Kartoniert, 304 Seiten, 235mm x 155mm x 17mm, Sprache(n): eng
91,34 EUR
Beispielbild für diese ISBNProlog: The Next 50 Years
Verlag: Springer
2023 Kartoniert, 412 Seiten, 235mm x 155mm x 23mm, Sprache(n): eng Volume editors, authors, scientific advisors and reviewers are the leading researchers in this field Book represents an excellent overview of the field, its successes, and its futureInitiative of the Year of Prolog, celebrating t…
103,51 EUR
Beispielbild für diese ISBNApplication and Theory of Petri Nets 1998 - 19th International Conference, ICATPN'98, Lisbon, Port…
Verlag: Springer
1998 Kartoniert, 396 Seiten, 235mm x 155mm x 22mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
60,88 EUR
Beispielbild für diese ISBNDynamic Logic. New Trends and Applications - Second International Workshop, DaLí 2019, Porto, Port…
Verlag: Springer
2020 Kartoniert, 240 Seiten, 235mm x 155mm x 14mm, Sprache(n): eng
60,88 EUR
Beispielbild für diese ISBNTypes for Proofs and Programs - International Workshop, TYPES '98, Kloster Irsee, Germany, March 2…
Verlag: Springer
1999 Kartoniert, 220 Seiten, 235mm x 155mm x 13mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
60,88 EUR
- Stichwörter
- Programsemantics
Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!
