Olderog e r (39 résultats)
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 61,33
EUR 2,35 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : As New. Unread book in perfect condition.
Correct System Design : Recent Insights and Advances
Steffen, Bernhard (EDT); Goos, G. (EDT); Hartmanis, J. (EDT); Leeuwen, J. Van (EDT); Olderog, E. R. (EDT)
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 61,33
EUR 2,35 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : As New. Unread book in perfect condition.
- Couverture rigide
Vendeur : Books Puddle, Woodside, NY, Etats-UnisBooks Puddle
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 62,08
EUR 3,55 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible
Etat : New. pp. xvi + 320.
Correct System Design : Recent Insights and Advances
Steffen, Bernhard (EDT); Goos, G. (EDT); Hartmanis, J. (EDT); Leeuwen, J. Van (EDT); Olderog, E. R. (EDT)
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 63,48
EUR 2,35 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
Langue : anglais
Edité par Cambridge University Press, 2005
Série : Livre 8 sur 40 - Cambridge Tracts in Theoretical Computer Science
- Couverture souple
Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 65,91
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
- Couverture rigide
Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 58,69
EUR 7,65 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible
Etat : New. pp. xvi + 320 Illus.
- Couverture rigide
Vendeur : Biblios, frankfurt am main, HESSE, AllemagneBiblios
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 57,12
EUR 9,95 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible
Etat : New. pp. xvi + 320.
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 75,97
EUR 2,35 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
Langue : anglais
Edité par Cambridge University Press 2008-08-21, 2008
Série : Livre 8 sur 40 - Cambridge Tracts in Theoretical Computer Science
- Couverture souple
Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 60,50
EUR 18,23 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Paperback. Etat : New.
- Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 61,14
EUR 17,65 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
Correct System Design : Recent Insights and Advances
Steffen, Bernhard (EDT); Goos, G. (EDT); Hartmanis, J. (EDT); Leeuwen, J. Van (EDT); Olderog, E. R. (EDT)
- Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 61,40
EUR 17,65 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
Langue : anglais
Edité par Cambridge University Press, 2008
Série : Livre 8 sur 40 - Cambridge Tracts in Theoretical Computer Science
- Couverture souple
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandeKennys Bookshop and Art Galleries Ltd.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 68,91
EUR 9,50 expéditionExpédition depuis Irlande vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. The author presents a theory whereby nets, terms and formulas represent concurrent processes at three levels of abstraction. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 280 pages, Illustrations. BIC Classification: UYA; UYFP. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 15. Weight in Grams: 450. . 2008. Revised ed. paperback. . . . .…
Langue : anglais
Edité par Cambridge University Press, 1991
Série : Livre 8 sur 40 - Cambridge Tracts in Theoretical Computer Science
- Couverture rigide
Vendeur : Labyrinth Books, Princeton, NJ, Etats-UnisLabyrinth Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 79,62
EUR 4,00 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible
Etat : New.
Langue : anglais
Edité par Cambridge University Press, 2005
Série : Livre 8 sur 40 - Cambridge Tracts in Theoretical Computer Science
- Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 70,57
EUR 13,28 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In English.
- Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 67,84
EUR 17,65 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : As New. Unread book in perfect condition.
Correct System Design : Recent Insights and Advances
Steffen, Bernhard (EDT); Goos, G. (EDT); Hartmanis, J. (EDT); Leeuwen, J. Van (EDT); Olderog, E. R. (EDT)
- Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 68,14
EUR 17,65 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : As New. Unread book in perfect condition.
Langue : anglais
Edité par Cambridge University Press, 2005
Série : Livre 8 sur 40 - Cambridge Tracts in Theoretical Computer Science
- Couverture souple
Vendeur : Kennys Bookstore, Olney, MD, Etats-UnisKennys Bookstore
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 87,28
EUR 9,33 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. The author presents a theory whereby nets, terms and formulas represent concurrent processes at three levels of abstraction. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 280 pages, Illustrations. BIC Classification: UYA; UYFP. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 15. Weight in Grams: 450. . 2008. Revised ed. paperback. . . . . Books ship from the US and Ireland.…
Langue : anglais
Edité par Cambridge University Press, 2005
Série : Livre 8 sur 40 - Cambridge Tracts in Theoretical Computer Science
- Couverture souple
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 83,67
EUR 35,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - The author presents a theory of concurrent processes where three different semantic description methods that are usually studied in isolation are brought together. Petri nets describe processes as concurrent and interacting machines; algebraic process terms describe processes as abstract concurrent processes; and logical formulas specify the intended communication behaviour of processes. At the heart of this theory are two sets of transformation rules for the top-down design of concurrent processes. The first set can be used to transform stepwise logical formulas into process terms, whilst process terms can be transformed into Petri nets by the second set. These rules are based on novel techniques for the operational and denotational semantics of concurrent processes. Various results and relationships between nets, terms and formulas starting with formulas and illustrated by examples. The use of transformations is demonstrated in a series of case studies, and the author also identifies directions for research.…
Langue : anglais
Edité par Cambridge University Press, 2005
Série : Livre 8 sur 40 - Cambridge Tracts in Theoretical Computer Science
- Couverture souple
Vendeur : Buchpark, Trebbin, AllemagneBuchpark
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Très bon
EUR 35,27
EUR 105,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible
Etat : Sehr gut. Zustand: Sehr gut | Seiten: 280 | Sprache: Englisch | Produktart: Bücher | The author presents a theory whereby nets, terms and formulas represent concurrent processes at three levels of abstraction.
Langue : anglais
Edité par Cambridge University Press, 1991
Série : Livre 8 sur 40 - Cambridge Tracts in Theoretical Computer Science
- Couverture rigide
Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 151,03
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
- Couverture rigide
- Édition internationale
Vendeur : UK BOOKS STORE, London, LONDO, Royaume-UniUK BOOKS STORE
Contacter le vendeurVendeur avec une évaluation de 5 étoilesÉdition internationaleEtat: Neuf
EUR 169,92
EUR 4,41 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible
Etat : New. Brand New ! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 6-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.…
Langue : anglais
Edité par Cambridge University Press, 1991
Série : Livre 8 sur 40 - Cambridge Tracts in Theoretical Computer Science
- Couverture rigide
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandeKennys Bookshop and Art Galleries Ltd.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 158,51
EUR 9,50 expéditionExpédition depuis Irlande vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. The author presents a theory whereby nets, terms and formulas represent concurrent processes at three levels of abstraction. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 278 pages, references. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 17. Weight in Grams: 670. . 1991. hardcover. . . . . …
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];
- Couverture rigide
Vendeur : BennettBooksLtd, Los Angeles, CA, Etats-UnisBennettBooksLtd
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 169,56
EUR 6,18 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible
hardcover. Etat : 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];
- Couverture rigide
Vendeur : BennettBooksLtd, Los Angeles, CA, Etats-UnisBennettBooksLtd
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 169,56
EUR 6,18 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible
hardcover. Etat : New. In shrink wrap. Looks like an interesting title.
Langue : anglais
Edité par Cambridge University Press, 1991
Série : Livre 8 sur 40 - Cambridge Tracts in Theoretical Computer Science
- Couverture rigide
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 164,89
EUR 13,28 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In English.
Langue : anglais
Edité par Cambridge University Press, 1991
Série : Livre 8 sur 40 - Cambridge Tracts in Theoretical Computer Science
- Couverture rigide
Vendeur : Kennys Bookstore, Olney, MD, Etats-UnisKennys Bookstore
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 205,29
EUR 9,33 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. The author presents a theory whereby nets, terms and formulas represent concurrent processes at three levels of abstraction. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 278 pages, references. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 17. Weight in Grams: 670. . 1991. hardcover. . . . . Books ship from the US and Ireland. …
Langue : anglais
Edité par Cambridge University Press, 1991
Série : Livre 8 sur 40 - Cambridge Tracts in Theoretical Computer Science
- Couverture rigide
Vendeur : BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, AllemagneBUCHSERVICE / ANTIQUARIAT Lars Lutzer
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 289,90
EUR 39,95 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible
Etat : gut. Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relation In englischer Sprache. pages.
Langue : anglais
Edité par Cambridge University Press, 2005
Série : Livre 8 sur 40 - Cambridge Tracts in Theoretical Computer Science
- Couverture souple
- impression à la demande
Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 70,55
EUR 7,65 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 4 disponibles
Etat : New. Print on Demand pp. 280 Illus.
Langue : anglais
Edité par Cambridge University Press CUP, 2005
Série : Livre 8 sur 40 - Cambridge Tracts in Theoretical Computer Science
- Couverture souple
- impression à la demande
Vendeur : Books Puddle, Woodside, NY, Etats-UnisBooks Puddle
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 77,08
EUR 3,55 expéditionExpédition nationale : Etats-UnisQuantité disponible : 4 disponibles
Etat : New. Print on Demand pp. 280.
Langue : anglais
Edité par Cambridge University Press, 2005
Série : Livre 8 sur 40 - Cambridge Tracts in Theoretical Computer Science
- Couverture souple
- impression à la demande
Vendeur : Biblios, frankfurt am main, HESSE, AllemagneBiblios
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 70,18
EUR 9,95 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 4 disponibles
Etat : New. PRINT ON DEMAND pp. 280.
