Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Produktform: Buch / Einband - flex.(Paperback)
32,50 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Reflexionen zur Verständlichkeit der Sprache des Rechts
Produktform: Buch / Einband - flex.(Paperback)
19,90 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage