Merz stephan editor (3 Ergebnisse)
Formal Systems Specification: The RPC-Memory Specification Case Study (Lecture Notes in Computer Science)
Broy, Manfred [Editor]; Merz, Stephan [Editor]; Spies, Katharina [Editor];
- Softcover
Anbieter: GuthrieBooks, Spring Branch, TX, USAGuthrieBooks
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 11,26
EUR 6,25 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Paperback. Zustand: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments.
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 82,80
EUR 14,95 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 347 pages. 9.41x6.26x0.79 inches. In Stock.
Interactive Theorem Proving: 7th International Conference, Proceedings
Blanchette, Jasmin Christian (Editor)/ Merz, Stephan (Editor)
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 85,61
EUR 47,85 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 520 pages. 9.25x6.10x1.18 inches. In Stock.
