Bjorner a (44 résultats)

VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings (Lecture Notes in Computer Science)
Bjorner, Dines [Editor]; Hoare, C.A.R. [Editor]; Langmaack, Hans [Editor];
- Couverture souple
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-UnisGuthrieBooks
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 8,03
EUR 6,33 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible
Paperback. Etat : Good. Sorry, No international shipping on this item.Ex-library paperback in good condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.

- Couverture souple
Vendeur : Lowry's Books, Three Rivers, MI, Etats-UnisLowry's Books
Contacter le vendeurVendeur avec une évaluation de 3 étoilesEtat: Occasion - Assez bon
EUR 13,98
EUR 5,38 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible
Paperback. Etat : Very Good. No Jacket. This book is in very good condition with tight binding and clean text. Size: 8vo - over 7¾" - 9¾" tall.

- Couverture souple
Vendeur : Zubal-Books, Since 1961, Cleveland, OH, Etats-UnisZubal-Books, Since 1961
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 17,38
EUR 4,07 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible
Etat : Good. 580 pp., Paperback, ex library, else text clean & binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.…

VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings (Lecture Notes in Computer Science)
Bj�¸rner, Dines [Editor]; Jones, Cliff [Editor]; Mac An Airchinnigh, Michael [Editor]; Neuhold, Erich [Editor];
- Couverture souple
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-UnisGuthrieBooks
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 19,30
EUR 6,33 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible
Paperback. Etat : Good. Sorry, No international shipping on this item.Ex-library paperback in good condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.

Configuration Spaces : Geometry, Combinatorics and Topology
Bjorner, A. (EDT); Cohen, F. (EDT); De Concini, C. (EDT); Procesi, C. (EDT); Salvetti, M. (EDT)
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 40,99
EUR 2,39 expéditionExpédition nationale : Etats-UnisQuantité disponible : 2 disponibles
Etat : As New. Unread book in perfect condition.

Configuration Spaces : Geometry, Combinatorics and Topology
Bjorner, A. (EDT); Cohen, F. (EDT); De Concini, C. (EDT); Procesi, C. (EDT); Salvetti, M. (EDT)
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 46,16
EUR 2,39 expéditionExpédition nationale : Etats-UnisQuantité disponible : 2 disponibles
Etat : New.

Vdm '87. Vdm - a Formal Method at Work : Vdm-europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings
Bjørner, Dines; Jones, Cliff (EDT); MAC an Airchinnigh, Michael; Neuhold, Erich J. (EDT)
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 64,98
EUR 2,39 expéditionExpédition nationale : Etats-UnisQuantité disponible : 15 disponibles
Etat : As New. Unread book in perfect condition.

Vdm '87. Vdm - a Formal Method at Work : Vdm-europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings
Bjørner, Dines; Jones, Cliff (EDT); MAC an Airchinnigh, Michael; Neuhold, Erich J. (EDT)
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 66,65
EUR 2,39 expéditionExpédition nationale : Etats-UnisQuantité disponible : 15 disponibles
Etat : New.

- Couverture souple
Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 61,66
EUR 17,96 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponibles
Paperback. Etat : Brand New. 536 pages. 9.50x6.00x1.50 inches. In Stock.

- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 78,29
EUR 2,39 expéditionExpédition nationale : Etats-UnisQuantité disponible : 15 disponibles
Etat : New.

- Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 69,00
EUR 15,36 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In English.

- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 84,44
EUR 2,39 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.

- Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 68,11
EUR 17,96 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.

- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 88,24
EUR 2,39 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : As New. Unread book in perfect condition.

- Couverture souple
Vendeur : Books Puddle, Woodside, NY, Etats-UnisBooks Puddle
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 95,92
EUR 3,61 expéditionExpédition nationale : Etats-UnisQuantité disponible : 4 disponibles
Etat : New. pp. 604.

- Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 81,17
EUR 17,96 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.

- Couverture souple
Vendeur : preigu, Osnabrück, Allemagnepreigu
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 30,95
EUR 70,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponibles
Taschenbuch. Etat : Neu. Configuration Spaces | Geometry, Combinatorics and Topology | Anders Björner (u. a.) | Taschenbuch | Publications of the Scuola Normale Superiore | Einband - flex.(Paperback) | Englisch | 2012 | Edizioni della Normale | EAN 9788876424304 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu. …

- Couverture souple
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 67,23
EUR 35,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering. The proceedings published by VDM Europe have the distinguished mark that they are concerned with bringing real theory to apply to real programming.…
Autres images- Couverture souple
Vendeur : preigu, Osnabrück, Allemagnepreigu
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 32,35
EUR 70,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible
Taschenbuch. Etat : Neu. The Vienna Development Method: The Meta-Language | D. Bjorner (u. a.) | Taschenbuch | xx | Englisch | 1978 | Springer | EAN 9783540087663 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

- Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 89,70
EUR 17,96 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : As New. Unread book in perfect condition.
Autres images- Couverture souple
Vendeur : preigu, Osnabrück, Allemagnepreigu
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 48,90
EUR 70,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponibles
Taschenbuch. Etat : Neu. Distributed Computing and Internet Technology | 12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016, Proceedings | Nikolaj Bjorner (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxi | Englisch | 2015 | Springer | EAN 9783319280332 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…
Autres images- Couverture souple
Vendeur : preigu, Osnabrück, Allemagnepreigu
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 50,65
EUR 70,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponibles
Taschenbuch. Etat : Neu. Perspectives of System Informatics | 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers | Nikolaj Bjørner (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xviii | Englisch | 2019 | Springer | EAN 9783030374860 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…
Autres images- Couverture souple
Vendeur : preigu, Osnabrück, Allemagnepreigu
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 50,65
EUR 70,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponibles
Taschenbuch. Etat : Neu. FM 2015: Formal Methods | 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings | Nikolaj Bjørner (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvi | Englisch | 2015 | Springer | EAN 9783319192482 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

- Couverture souple
Vendeur : preigu, Osnabrück, Allemagnepreigu
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 68,60
EUR 70,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponibles
Taschenbuch. Etat : Neu. Design, Learning, and Innovation | 9th EAI International Conference, DLI 2024, Virtual Event, November 7-8, 2024, Proceedings | Eva Brooks (u. a.) | Taschenbuch | Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering | xii | Englisch | 2025 | Springer | EAN 9783031856624 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Using the Borsuk-Ulam Theorem: Lectures on Topological Methods in Combinatorics and Geometry (Universitext)
Matousek, Jiri; Björner, A. [Contributor]; Ziegler, G.M. [Contributor];
- Couverture souple
Vendeur : BennettBooksLtd, Los Angeles, CA, Etats-UnisBennettBooksLtd
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 140,48
EUR 6,29 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible
paperback. Etat : New. In shrink wrap. Looks like an interesting title.

Langue : anglais
Edité par Springer, 2010
- Couverture souple
Vendeur : preigu, Osnabrück, Allemagnepreigu
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 77,55
EUR 70,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponibles
Taschenbuch. Etat : Neu. Combinatorics of Coxeter Groups | Anders Bjorner (u. a.) | Taschenbuch | Graduate Texts in Mathematics | xiv | Englisch | 2010 | Springer | EAN 9783642079221 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …
Autres images- Couverture souple
Vendeur : preigu, Osnabrück, Allemagnepreigu
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 95,95
EUR 70,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponibles
Taschenbuch. Etat : Neu. Towards a Formal Description of Ada | D. Bjorner (u. a.) | Taschenbuch | xiv | Englisch | 1980 | Springer | EAN 9783540102830 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

- Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 154,15
EUR 17,96 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : As New. Unread book in perfect condition.

Perspectives of System Informatics : Third International Andrei Ershov Memorial Conference, Psi '99, Akademgorodok, Novosibirsk, Russia, July 1999 : Proceedings
International Andrei Ershov Memorial Conference 1999 Akademgorodok, n; Bjorner, Dines; Broy, Manfred; Zamulin, A. V.
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 174,56
EUR 2,39 expéditionExpédition nationale : Etats-UnisQuantité disponible : 15 disponibles
Etat : New.

- Couverture souple
Vendeur : Mispah books, Redhill, SURRE, Royaume-UniMispah books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Occasion - Comme neuf
EUR 144,30
EUR 29,93 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible
Paperback. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.