Importo totale (1 articolo articoli):
Destinazione ordine:
krieg bruckner (56 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (56)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (40)
- Come nuovo, Ottimo o Quasi ottimo (6)
- Molto buono o Buono (6)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (4)
Legatura
Ulteriori caratteristiche
- Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (30)
- Non Print on Demand (40)
Lingua (2)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Good. Ex-library paperback in good condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
Program Development by Specification and Transformation : The PROSPECTRA Methodology, Language Family, and System
Lingua: Inglese
Editore: Springer Berlin / Heidelberg, 1993
ISBN 10: 354056733X ISBN 13: 9783540567332
Da: Better World Books Ltd, Dunfermline, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 9,63
Spedizione EUR 5,80
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Good. 1993rd Edition. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
ESOP '92: 4th European Symposium on Programming Rennes, France, February 26-28, 1992 Proceedings (Lecture Notes in Computer Science 582)
Da: PsychoBabel & Skoob Books, Didcot, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 8,02
Spedizione EUR 14,50
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. Condizione sovraccoperta: No Dust Jacket. Lecture Notes in Computer Science 582; Ex-Library. Previous owner's sticker on the front cover. Ink stamp and small pen inscription on half-title page; library catalogue sticker on colophon. Faintly bumped spine head and leading corners. Sound, clean book with tight binding. ADG. Ex-Library.
-
The Munich Project CIP: Volume I: The Wide Spectrum Language CIP-L (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good.
-
ESOP '92: 4th European Symposium on Programming, Rennes, France, February 26-28, 1992. Proceedings (Lecture Notes in Computer Science 582)
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. 491 pp., Paperback, ex library, else text clean and 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.
-
Esop '92 : 4th European Symposium on Programming, Rennes, France, February 26-28, 1992. Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 57,59
Spedizione EUR 2,32
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
ESOP '92: 4th European Symposium on Programming, Rennes, France, February 26-28, 1992. Proceedings (Paperback or Softback)
Da: BargainBookStores, Grand Rapids, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback or Softback. Condizione: New. ESOP '92: 4th European Symposium on Programming, Rennes, France, February 26-28, 1992. Proceedings. Book.
-
ESOP '92: 4th European Symposium on Programming, Rennes, France, February 26-28, 1992. Proceedings (Lecture Notes in Computer Science, 582)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 61,55
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Esop '92 : 4th European Symposium on Programming, Rennes, France, February 26-28, 1992. Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 63,15
Spedizione EUR 2,32
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Algebraic Foundations of Systems Specification
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Algebraic Foundations of Systems Specification
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Algebraic Foundations of Systems Specification (IFIP State-of-the-Art Reports)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,69
Spedizione EUR 13,90
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
ESOP '92: 4th European Symposium on Programming, Rennes, France, February 26-28, 1992. Proceedings (Lecture Notes in Computer Science, 582)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,69
Spedizione EUR 13,90
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Algebraic Foundations of Systems Specification (IFIP State-of-the-Art Reports)
Lingua: Inglese
Editore: IFIP International Federation for Information Processing 1999-01-01, 1999
ISBN 10: 3642641512 ISBN 13: 9783642641510
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 57,41
Spedizione EUR 17,97
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
ESOP '92: 4th European Symposium on Programming, Rennes, France, February 26-28, 1992. Proceedings (Lecture Notes in Computer Science)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 57,57
Spedizione EUR 17,97
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Esop '92 : 4th European Symposium on Programming, Rennes, France, February 26-28, 1992. Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,53
Spedizione EUR 17,40
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Esop '92 : 4th European Symposium on Programming, Rennes, France, February 26-28, 1992. Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 66,84
Spedizione EUR 17,40
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Algebraic Foundations of Systems Specification
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: Used. pp. xii + 616 1st Edition.
-
Algebraic Foundations of Systems Specification
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 632.
-
Algebraic Foundations of Systems Specification
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 84,73
Spedizione EUR 7,54
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Used. pp. xii + 616 57 Figures.
-
Algebraic Foundations of Systems Specification
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 85,78
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Used. pp. xii + 616.
-
Program Development by Specification and Transformation
Editore: Springer, 1993
Da: Librodifaccia, Alessandria, AL, Italia
Valutazione del venditore 5 su 5 stelle
EUR 16,80
Spedizione EUR 27,90
Spedito da Italia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Buone. inglese Condizioni dell'esterno: Discrete con difetti, macchie Condizioni dell'interno: Buone.
-
Program Development by Specification and Transformation : The Prospectra Methodology, Language Family, and System
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 117,07
Spedizione EUR 2,32
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System (Lecture Notes in Computer Science, 680)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 119,47
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
EUR 53,49
Spedizione EUR 63,78
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains selected papers presented at theEuropean Symposium on Programming (ESOP) held jointly withthe seventeeth Colloquium on Trees in Algebra andProgramming (CAAP) in Rennes, France, February 26-28, 1992(the proceedings of CAAP appear in LNCS 581). The previoussymposiawere held in France, Germany, and Denmark. Everyeven year, as in 1992, CAAPis held jointly with ESOP.ESOP addresses fundamental issues and important developmentsin the specification and implementation of programminglanguages and systems. It continues lines begun in Franceand Germany under the names 'Colloque sur la Programmation'and the GI workshop on 'Programmiersprachen undProgrammentwicklung'. The programme committee received 71submissions, from which 28 have been selected for inclusionin this volume.
-
EUR 50,35
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Algebraic Foundations of Systems Specification | Egidio Astesiano (u. a.) | Taschenbuch | IFIP State-of-the-Art Reports | xii | Englisch | 2011 | Springer | EAN 9783642641510 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
EUR 50,25
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. ESOP '92 | 4th European Symposium on Programming, Rennes, France, February 26-28, 1992. Proceedings | Bernd Krieg-Brückner | Taschenbuch | viii | Englisch | 1992 | Springer | EAN 9783540552536 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
EUR 59,97
Spedizione EUR 64,72
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - The aim of software engineering is the provision and investigation of methods for the development of software systems of high quality with correctness as a key issue. A system is called correct if it does what one wants, if it meets the requirements. To achieve and to guarantee correct systems, the need of formal methods with rigorous semantics and the possibility of verification is widely accepted. Algebraic specification is a software engineering approach of this perspective. When Liskov and Zilles, Guttag and the ADJ-group with Goguen, Thatch er, Wagner and Wright introduced the basic ideas of algebraic specification in the mid seventies in the U. S. A. and Canada, they initiated a very successful and still flourishing new area. In the late seventies, algebraic specification became a major research topic also in many European countries. Originally, the algebraic framework was intended for the mathematical foundation of ab stract data types and the formal development of first-order applicative pro grams. Meanwhile, the range of applications has been extended to the precise specification of complete software systems, the uniform definition of syntax and semantics of programming languages, and to the stepwise development of correct systems from the requirement definitions to the running programs. The activities in the last 25 years have led to an abundance of concepts, methods, approaches, theories, languages and tools, which are mathemati cally founded in universal algebra, category theory and logic.
-
Spatial Cognition IV, Reasoning, Action, Interaction: International Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, Revised ... (Lecture Notes in Computer Science, 3343)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 115,75
Spedizione EUR 13,90
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Algebraic Foundations of Systems Specification (IFIP State-of-the-Art Reports)
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 100,36
Spedizione EUR 29,00
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Like New. Like New. book.
