Towards an Isabelle Theory for distributed, interactive systems
The untimed case
Produktform: Buch / Einband - flex.(Paperback)
35,80 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Noch Fragen? 0800 / 33 82 637