ISBN: 9783540539612 - formal description of programming concepts (18 risultati)
Lingua: Inglese
Editore: Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer, 1991
- Rilegato
Da: Roland Antiquariat UG haftungsbeschränkt, Weinheim, GermaniaRoland Antiquariat UG haftungsbeschränkt
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 46,90
EUR 42,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibile
Hardcover. 1991. VI, 507 p. ; 24 cm Very good condition. Minimum traces of storage. --- Sehr guter Zustand. Minimale Lagerspuren. 9783540539612 Sprache: Englisch Gewicht in Gramm: 1134.
Formal Description of Programming Concepts
Neuhold, Erich J. (EDT); Paul, Manfred (EDT); Apt, K. R. (CON); Astesiano, E. (CON); Bjorner, D. (CON)
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 121,68
EUR 2,36 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Rilegato
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 121,36
EUR 2,68 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Formal Description of Programming Concepts
Neuhold, Erich J. (EDT); Paul, Manfred (EDT); Apt, K. R. (CON); Astesiano, E. (CON); Bjorner, D. (CON)
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 126,49
EUR 2,36 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Formal Description of Programming Concepts
Neuhold, Erich J. (EDT); Paul, Manfred (EDT); Apt, K. R. (CON); Astesiano, E. (CON); Bjorner, D. (CON)
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 123,57
EUR 17,91 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Rilegato
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 131,23
EUR 17,84 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In English.
Formal Description of Programming Concepts
Neuhold, Erich J. (EDT); Paul, Manfred (EDT); Apt, K. R. (CON); Astesiano, E. (CON); Bjorner, D. (CON)
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 132,55
EUR 17,91 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 124,85
EUR 35,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibile
Buch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - In software engineering there is a growing need for formalization as a basis for developing powerful computer assisted methods. This volume contains seven extensive lectures prepared for a series of IFIP seminars on the Formal Description of Programming Concepts. The authors are experts in their fields and have contributed substantially to the state of the art in numerous publications. The lectures cover a wide range in the theoretical foundations of programming and give an up-to-date account of the semantic models and the related tools which have been developed in order to allow a rigorous discussion of the problems met in the construction of correct programs. In particular, methods for the specification and transformation of programs are considered in detail. One lecture is devoted to the formalization of concurrency and distributed systems and reflects their great importance in programming. Further topics are the verification of programs and the use of sophisticated type systems in programming. This compendium on the theoretical foundations of programming is also suitable as a textbook for special seminars on different aspects of this broad subject.…
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];
- Rilegato
Da: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 170,30
EUR 6,20 spedizioneSpedito in U.S.A.Quantità: 1 disponibile
hardcover. Condizione: 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];
- Rilegato
Da: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 170,30
EUR 6,20 spedizioneSpedito in U.S.A.Quantità: 1 disponibile
hardcover. Condizione: New. In shrink wrap. Looks like an interesting title.
- Rilegato
Da: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 179,44
EUR 3,56 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 524.
Lingua: Inglese
Editore: Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer, 1991
- Rilegato
Da: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, GermaniaBUCHSERVICE / ANTIQUARIAT Lars Lutzer
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 189,00
EUR 39,95 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibile
Condizione: gut. 1991. Formal description of programming concepts / Erich J. Neuhold ; Manfred Paul (eds.). With contributions by K. R. Apt . / State-of-the-art reports / IFIP In deutscher Sprache. pages.
- Rilegato
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 92,27
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. In software engineering there is a growing need for formalization as a basis for developing powerful computer assisted methods. This volume contains seven extensive lectures prepared for a series of IFIP seminars on the Formal Description of Programming Con.…
- Rilegato
- Print on Demand
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 95,70
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Buch. Condizione: Neu. Formal Description of Programming Concepts | Manfred Paul (u. a.) | Buch | x | Englisch | 1991 | Springer Berlin Heidelberg | EAN 9783540539612 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. …
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 1991, 1991
- Rilegato
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 106,99
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibile
Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -In software engineering there is a growing need for formalization as a basis for developing powerful computer assisted methods. This volume contains seven extensive lectures prepared for a series of IFIP seminars on the Formal Description of Programming Concepts. The authors are experts in their fields and have contributed substantially to the state of the art in numerous publications. The lectures cover a wide range in the theoretical foundations of programming and give an up-to-date account of the semantic models and the related tools which have been developed in order to allow a rigorous discussion of the problems met in the construction of correct programs. In particular, methods for the specification and transformation of programs are considered in detail. One lecture is devoted to the formalization of concurrency and distributed systems and reflects their great importance in programming. Further topics are the verification of programs and the use of sophisticated type systems in programming. This compendium on the theoretical foundations of programming is also suitable as a textbook for special seminars on different aspects of this broad subject.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 224 pp. Englisch.…
- Rilegato
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 160,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In software engineering there is a growing need for formalization as a basis for developing powerful computer assisted methods. This volume contains seven extensive lectures prepared for a series of IFIP seminars on the Formal Description of Programming Concepts. The authors are experts in their fields and have contributed substantially to the state of the art in numerous publications. The lectures cover a wide range in the theoretical foundations of programming and give an up-to-date account of the semantic models and the related tools which have been developed in order to allow a rigorous discussion of the problems met in the construction of correct programs. In particular, methods for the specification and transformation of programs are considered in detail. One lecture is devoted to the formalization of concurrency and distributed systems and reflects their great importance in programming. Further topics are the verification of programs and the use of sophisticated type systems in programming. This compendium on the theoretical foundations of programming is also suitable as a textbook for special seminars on different aspects of this broad subject. 224 pp. Englisch.…
- Rilegato
- Print on Demand
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 185,48
EUR 7,76 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Condizione: New. Print on Demand pp. 524 68:B&W 7 x 10 in or 254 x 178 mm Case Laminate on White w/Gloss Lam.
- Rilegato
- Print on Demand
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 187,57
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 4 disponibili
Condizione: New. PRINT ON DEMAND pp. 524.
