Importo totale (1 articolo articoli):
Destinazione ordine:
9780521435925 - Formal Specification and Design di Feijs, L. M. G. (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 (14)
- Come nuovo, Ottimo o Quasi ottimo (Nessun altro risultato corrispondente a questo perfezionamento)
- Molto buono o Buono (Nessun altro risultato corrispondente a questo perfezionamento)
- 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. (1)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (3)
- Non Print on Demand (7)
Lingua (1)
Prezzo
- Qualsiasi prezzo
- Inferiore a EUR 20 (Nessun altro risultato corrispondente a questo perfezionamento)
- EUR 20 a EUR 45 (Nessun altro risultato corrispondente a questo perfezionamento)
- Superiore a EUR 45
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science, Series Number 35)
Libro 14 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 2005
ISBN 10: 0521435927 ISBN 13: 9780521435925
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 67,40
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science, Series Number 35)
Libro 14 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 2005
ISBN 10: 0521435927 ISBN 13: 9780521435925
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 63,94
Spedizione EUR 13,80
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Formal Specification and Design: 35 (Cambridge Tracts in Theoretical Computer Science, Series Number 35)
Libro 14 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press 2008-08-21, 2008
ISBN 10: 0521435927 ISBN 13: 9780521435925
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 63,00
Spedizione EUR 17,85
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Formal Specification and Design: 35 (Cambridge Tracts in Theoretical Computer Science, Series Number 35)
Libro 14 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521435927 ISBN 13: 9780521435925
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
EUR 77,02
Spedizione EUR 10,50
Spedito da Irlanda a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. The authors describe specification techniques from the unified view of the Common Object-oriented Language for Design. 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: 352 pages, black & white illustrations. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 19. Weight in Grams: 560. . 2008. Pbk Version ed. paperback. . . . .
-
Formal Specification and Design
Libro 14 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press CUP, 2005
ISBN 10: 0521435927 ISBN 13: 9780521435925
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 352.
-
Formal Specification and Design: 35 (Cambridge Tracts in Theoretical Computer Science, Series Number 35)
Libro 14 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 2005
ISBN 10: 0521435927 ISBN 13: 9780521435925
Da: Kennys Bookstore, Olney, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 95,81
Spedizione EUR 9,16
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. The authors describe specification techniques from the unified view of the Common Object-oriented Language for Design. 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: 352 pages, black & white illustrations. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 19. Weight in Grams: 560. . 2008. Pbk Version ed. paperback. . . . . Books ship from the US and Ireland.
-
Formal Specification and Design
Libro 14 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 2005
ISBN 10: 0521435927 ISBN 13: 9780521435925
EUR 92,09
Spedizione EUR 63,04
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Formal specification is a method for precisely modelling computer-based systems that combines concepts from software engineering and mathematical logic. In this book the authors describe algebraic and state-based specification techniques from the unified view of the Common Object-oriented Language for Design, COLD, a wide-spectrum language in the tradition of VDM and Z. The kernel language is explained in detail, with many examples, including: set representation, a display device, an INGRES-like database system, and a line editor. Fundamental techniques such as initial algebra semantics, loose semantics, partial functions, hiding, sharing, predicate and dynamic logic, abstraction functions, representation of invariants and black-box correctness are also presented. More advanced ideas, for example Horn logic, and large systems are given in the final part. Appendices contain full details of the language's syntax and a specification library. Techniques for software development and design are emphasised throughout, so the book will be an excellent choice for courses in these areas.
-
Formal Specification and Design
Libro 14 di 40: Cambridge Tracts in Theoretical Computer ScienceDa: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 62,36
Spedizione EUR 14,40
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 1st edition. 351 pages. 9.25x6.50x0.75 inches. In Stock. This item is printed on demand.
-
Formal Specification and Design
Libro 14 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 2005
ISBN 10: 0521435927 ISBN 13: 9780521435925
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 68,43
Spedizione EUR 19,18
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback / softback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
-
Formal Specification and Design
Libro 14 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 2005
ISBN 10: 0521435927 ISBN 13: 9780521435925
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 93,09
Spedizione EUR 7,49
Spedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. 352 Illus.
-
Formal Specification and Design
Libro 14 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 2005
ISBN 10: 0521435927 ISBN 13: 9780521435925
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 93,17
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. 352.
-
Formal Specification and Design (Paperback)
Libro 14 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, Cambridge, 2005
ISBN 10: 0521435927 ISBN 13: 9780521435925
Da: CitiRetail, Stevenage, Regno Unito
Valutazione del venditore 5 su 5 stelle
Prima edizione Print on Demand
EUR 72,38
Spedizione EUR 42,63
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: new. Paperback. Formal specification is a method for precisely modelling computer-based systems that combines concepts from software engineering and mathematical logic. In this book the authors describe algebraic and state-based specification techniques from the unified view of the Common Object-oriented Language for Design, COLD, a wide-spectrum language in the tradition of VDM and Z. The kernel language is explained in detail, with many examples, including: set representation, a display device, an INGRES-like database system, and a line editor. Fundamental techniques such as initial algebra semantics, loose semantics, partial functions, hiding, sharing, predicate and dynamic logic, abstraction functions, representation of invariants and black-box correctness are also presented. More advanced ideas, for example Horn logic, and large systems are given in the final part. Appendices contain full details of the language's syntax and a specification library. Techniques for software development and design are emphasised throughout, so the book will be an excellent choice for courses in these areas. The authors describe specification techniques from the unified view of the Common Object-oriented Language for Design. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
-
Formal Specification and Design
Libro 14 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 2005
ISBN 10: 0521435927 ISBN 13: 9780521435925
EUR 71,91
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloKartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The authors describe specification techniques from the unified view of the Common Object-oriented Language for Design.InhaltsverzeichnisPart I. Algebraic Specification: 1. Introducing the basic concepts 2. Setting up algebraic speci.
-
Formal Specification and Design
Libro 14 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 2005
ISBN 10: 0521435927 ISBN 13: 9780521435925
EUR 74,60
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Formal Specification and Design | L. M. G. Feijs (u. a.) | Taschenbuch | Kartoniert / Broschiert | Englisch | 2005 | Cambridge University Press | EAN 9780521435925 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.
