Isbn: 9781013277184 - tools and algorithms for the construction and analysis of systems (2 Ergebnisse)

ISBN:

Mit der Detailsuche verfeinern

Tools and Algorithms for the Construction and Analysis of Systems
Biere, Armin; Parker, David
Sprache: Englisch
Verlag: Saint Philip Street Press, 2020
101327718X / 9781013277184
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in mit 5 Sternen
Verkäufer/-in kontaktieren
Zustand: Neu
EUR 71,18
EUR 17,37 Versand
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Zustand: New. In English.
Tools and Algorithms for the Construction and Analysis of Systems
Biere, Armin|Parker, David
Sprache: Englisch
Verlag: Saint Philip Street Press, 2020
101327718X / 9781013277184
- Softcover
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in mit 5 Sternen
Verkäufer/-in kontaktieren
Zustand: Neu
EUR 72,93
EUR 48,99 Versand
Versand von Deutschland nach USA
Anzahl: Mehr als 20 verfügbar
Zustand: New. KlappentextrnrnThis open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020..