Importo totale (1 articolo articoli):
Destinazione ordine:
9783540516989 - Algebraic Methods: Theory, Tools and Applications (Lecture Notes in Computer Science): 394 (14 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (14)
- 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 (9)
- Come nuovo, Ottimo o Quasi ottimo (3)
- Molto buono o Buono (2)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
- Tutte
- Rilegato (Nessun altro risultato corrispondente a questo perfezionamento)
- Brossura (14)
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 (7)
- Non Print on Demand (11)
Lingua (1)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Algebraic Methods: Theory, Tools and Applications (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. 0387516980 Ex-library paperback in very nice condition with the usual markings and attachments.
-
Algebraic Methods: Theory, Tools and Applications
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Algebraic Methods: Theory, Tools and Applications (Lecture Notes in Computer Science, 394)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 117,93
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Algebraic Methods: Theory, Tools and Applications
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition.
-
EUR 14,78
Spedizione EUR 105,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Gut. Zustand: Gut | Seiten: 568 | Sprache: Englisch | Produktart: Bücher | Algebraic specification a step towards future software engineering.- How to make algebraic specifications more understandable?.- Efficient implementation of an algebraic specification language.- An integrated algebraic approach to the specification of data types, processes and objects.- Software specification by behavioural canons.- An introduction to COLD-K.- A formal specification of INGRES.- The logic MPL?.- Description algebra.- The calculus ??.- The RAP system as a tool for testing COLD specifications.- A specification of the intel 8085 microprocessor: A case study.- Specification and prototyping of a compiler for a small applicative language.- Algebraic ADT specifications of an extended relational algebra and their conversion into a working prototype.- ACP? a universal axiom system for process specification.- Modular specifications in process algebra.- An algebraic specification of process algebra, including two examples.
-
EUR 15,22
Spedizione EUR 105,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Sehr gut. Zustand: Sehr gut | Seiten: 568 | Sprache: Englisch | Produktart: Bücher | Algebraic specification a step towards future software engineering.- How to make algebraic specifications more understandable?.- Efficient implementation of an algebraic specification language.- An integrated algebraic approach to the specification of data types, processes and objects.- Software specification by behavioural canons.- An introduction to COLD-K.- A formal specification of INGRES.- The logic MPL?.- Description algebra.- The calculus ??.- The RAP system as a tool for testing COLD specifications.- A specification of the intel 8085 microprocessor: A case study.- Specification and prototyping of a compiler for a small applicative language.- Algebraic ADT specifications of an extended relational algebra and their conversion into a working prototype.- ACP? a universal axiom system for process specification.- Modular specifications in process algebra.- An algebraic specification of process algebra, including two examples.
-
Algebraic Methods: Theory, Tools and Applications (Lecture Notes in Computer Science, 394)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 115,42
Spedizione EUR 13,86
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Algebraic Methods: Theory, Tools and Applications
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 115,40
Spedizione EUR 17,35
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Algebraic Methods: Theory, Tools and Applications
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 128,60
Spedizione EUR 17,35
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
EUR 95,70
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Algebraic Methods: Theory, Tools and Applications | Martin Wirsing (u. a.) | Taschenbuch | viii | Englisch | 1989 | Springer | EAN 9783540516989 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
EUR 106,99
Spedizione EUR 64,25
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Algebraic specification a step towards future software engineering.- How to make algebraic specifications more understandable .- Efficient implementation of an algebraic specification language.- An integrated algebraic approach to the specification of data types, processes and objects.- Software specification by behavioural canons.- An introduction to COLD-K.- A formal specification of INGRES.- The logic MPL .- Description algebra.- The calculus .- The RAP system as a tool for testing COLD specifications.- A specification of the intel 8085 microprocessor: A case study.- Specification and prototyping of a compiler for a small applicative language.- Algebraic ADT specifications of an extended relational algebra and their conversion into a working prototype.- ACP a universal axiom system for process specification.- Modular specifications in process algebra.- An algebraic specification of process algebra, including two examples.
-
Algebraic Methods: Theory, Tools and Applications
Lingua: Inglese
Editore: Springer Berlin Heidelberg Sep 1989, 1989
ISBN 10: 3540516980 ISBN 13: 9783540516989
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
EUR 112,34
Spedizione EUR 23,00
Spedito da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Algebraic specification a step towards future software engineering.- How to make algebraic specifications more understandable .- Efficient implementation of an algebraic specification language.- An integrated algebraic approach to the specification of data types, processes and objects.- Software specification by behavioural canons.- An introduction to COLD-K.- A formal specification of INGRES.- The logic MPL .- Description algebra.- The calculus .- The RAP system as a tool for testing COLD specifications.- A specification of the intel 8085 microprocessor: A case study.- Specification and prototyping of a compiler for a small applicative language.- Algebraic ADT specifications of an extended relational algebra and their conversion into a working prototype.- ACP a universal axiom system for process specification.- Modular specifications in process algebra.- An algebraic specification of process algebra, including two examples. 568 pp. Englisch.
-
Algebraic Methods: Theory, Tools and Applications
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 1989
ISBN 10: 3540516980 ISBN 13: 9783540516989
EUR 92,27
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Algebraic specification a step towards future software engineering.- How to make algebraic specifications more understandable?.- Efficient implementation of an algebraic specification language.- An integrated algebraic approach to the specification of data .
-
Algebraic Methods: Theory, Tools and Applications
Lingua: Inglese
Editore: Springer, Springer Sep 1989, 1989
ISBN 10: 3540516980 ISBN 13: 9783540516989
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
EUR 106,99
Spedizione EUR 60,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Algebraic specification a step towards future software engineering.- How to make algebraic specifications more understandable .- Efficient implementation of an algebraic specification language.- An integrated algebraic approach to the specification of data types, processes and objects.- Software specification by behavioural canons.- An introduction to COLD-K.- A formal specification of INGRES.- The logic MPL .- Description algebra.- The calculus .- The RAP system as a tool for testing COLD specifications.- A specification of the intel 8085 microprocessor: A case study.- Specification and prototyping of a compiler for a small applicative language.- Algebraic ADT specifications of an extended relational algebra and their conversion into a working prototype.- ACP a universal axiom system for process specification.- Modular specifications in process algebra.- An algebraic specification of process algebra, including two examples.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 568 pp. Englisch.
