Bjorner d editor (3 Ergebnisse)
Lecture Notes in Computer Science, Volume 252: VDM '87--A Formal Method at Work, Proceedings of Symposium, March 1987, Brussels, Belgium.
Bjorner, D. (Editor); Jones, C. B. (Editor); Mac an Airchinnigh, M. (Editor); Neuhold, E. J. (Editor)
- Softcover
- Erstausgabe
Anbieter: SUNSET BOOKS 2, Newark, OH, USASUNSET BOOKS 2
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 9,24
EUR 6,50 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Paperback. Zustand: Very Good. No Jacket. 1st. w/full markings, pocket, and/or bookplate. Wear, soil. Size: 8vo. Ex-Library.
Formal Description of Programming Concepts (IFIP State-of-the-Art Reports)
Neuhold, Erich J. [Editor]; Paul, Manfred [Editor]; Apt, K.R. [Contributor]; Astesiano, E. [Contributor]; Bjorner, D. [Contributor]; Broy, M. [Contributor]; Cardelli, L. [Contributor]; Mosses, P.D. [Contributor]; Olderog, E.-R. [Contributor]; Wirsing, M. [Contributor];
- Hardcover
Anbieter: BennettBooksLtd, Los Angeles, CA, USABennettBooksLtd
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 171,15
EUR 6,23 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
hardcover. Zustand: New. In shrink wrap. Looks like an interesting title.
Formal Description of Programming Concepts (IFIP State-of-the-Art Reports)
Neuhold, Erich J. [Editor]; Paul, Manfred [Editor]; Apt, K.R. [Contributor]; Astesiano, E. [Contributor]; Bjorner, D. [Contributor]; Broy, M. [Contributor]; Cardelli, L. [Contributor]; Mosses, P.D. [Contributor]; Olderog, E.-R. [Contributor]; Wirsing, M. [Contributor];
- Hardcover
Anbieter: BennettBooksLtd, Los Angeles, CA, USABennettBooksLtd
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 171,15
EUR 6,23 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
hardcover. Zustand: New. In shrink wrap. Looks like an interesting title.
