Importo totale (1 articolo articoli):
Destinazione ordine:
abrial j r (16 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (16)
- 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 (13)
- Come nuovo, Ottimo o Quasi ottimo (Nessun altro risultato corrispondente a questo perfezionamento)
- Molto buono o Buono (1)
- Discreto o Mediocre (2)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
- Tutte
- Rilegato (Nessun altro risultato corrispondente a questo perfezionamento)
- Brossura (16)
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 (11)
Lingua (2)
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
-
The B-Book: Assigning Programs to Meanings
Lingua: Inglese
Editore: Cambridge University Press, 2005
ISBN 10: 0521021758 ISBN 13: 9780521021753
EUR 60,79
Spedizione EUR 16,05
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Poor. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In poor condition, suitable as a reading copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1400grams, ISBN:9780521021753.
-
The B-Book: Assigning Programs to Meanings
Lingua: Inglese
Editore: Cambridge University Press, 2005
ISBN 10: 0521021758 ISBN 13: 9780521021753
EUR 60,79
Spedizione EUR 16,05
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In fair condition, suitable as a study copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1400grams, ISBN:9780521021753.
-
The B-Book: Assigning Programs to Meanings
Lingua: Inglese
Editore: Cambridge University Press, 2005
ISBN 10: 0521021758 ISBN 13: 9780521021753
Da: Solr Books, Lincolnwood, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: very_good. This books is in Very good condition. There may be a few flaws like shelf wear and some light wear.
-
The B-Book: Assigning Programs to Meanings
Lingua: Inglese
Editore: Cambridge University Press, 2005
ISBN 10: 0521021758 ISBN 13: 9780521021753
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 125,99
Spedizione EUR 14,14
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
The B-Book: Assigning Programs to Meanings
Lingua: Inglese
Editore: Cambridge University Press, 2005
ISBN 10: 0521021758 ISBN 13: 9780521021753
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 139,19
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
The B-Book: Assigning Programs to Meanings
Lingua: Inglese
Editore: Cambridge University Press 2005-11-03, 2005
ISBN 10: 0521021758 ISBN 13: 9780521021753
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 132,34
Spedizione EUR 18,29
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
The B-Book: Assigning Programs to Meanings
Lingua: Inglese
Editore: Cambridge University Press, 2005
ISBN 10: 0521021758 ISBN 13: 9780521021753
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
Prima edizione
EUR 146,06
Spedizione EUR 10,50
Spedito da Irlanda a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. The definitive book on the B Method; essential for all working in formal methods and safety-critical software. Num Pages: 816 pages, black & white illustrations. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 176 x 250 x 48. Weight in Grams: 128. . 2005. 1st Edition. paperback. . . . .
-
The B-Book: Assigning Programs to Meanings
Lingua: Inglese
Editore: Cambridge University Press, 2005
ISBN 10: 0521021758 ISBN 13: 9780521021753
Da: BennettBooksLtd, Los Angeles, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
paperback. Condizione: New. In shrink wrap. Looks like an interesting title!
-
The B-Book: Assigning Programs to Meanings
Lingua: Inglese
Editore: Cambridge University Press, 2005
ISBN 10: 0521021758 ISBN 13: 9780521021753
Da: Kennys Bookstore, Olney, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 182,86
Spedizione EUR 9,15
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. The definitive book on the B Method; essential for all working in formal methods and safety-critical software. Num Pages: 816 pages, black & white illustrations. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 176 x 250 x 48. Weight in Grams: 128. . 2005. 1st Edition. paperback. . . . . Books ship from the US and Ireland.
-
The B-Book
Lingua: Inglese
Editore: Cambridge University Press CUP, 2005
ISBN 10: 0521021758 ISBN 13: 9780521021753
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 816.
-
Dare fragile: the so-called growth. is constantly reborn in fragile(Chinese Edition)
ISBN 10: 7559628257 ISBN 13: 9787559628251
EUR 74,76
Spedizione EUR 15,69
Spedito da Cina a U.S.A.Quantità: 5 disponibili
Aggiungi al carrellopaperback. Condizione: New. Paperback. Pub Date: 2019-06-01 Pages: 288 Language: Chinese Publisher: Beijing Joint Publishing Company Zengyin your own sensitive and fragile upset you? Fragile equal weak it? How do we vulnerability of the dominant. strong personality to reinvent themselves? French psychoanalyst Gina Weifu think. is a little-known vulnerability .
-
The B-Book: Assigning Programs to Meanings
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 124,92
Spedizione EUR 17,71
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 779 pages. 9.25x6.50x1.75 inches. In Stock. This item is printed on demand.
-
The B-Book (Paperback)
Lingua: Inglese
Editore: Cambridge University Press, Cambridge, 2005
ISBN 10: 0521021758 ISBN 13: 9780521021753
Da: CitiRetail, Stevenage, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 144,06
Spedizione EUR 43,68
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: new. Paperback. The B Method is a means for specifying, designing and coding software systems. The long-awaited B-Book is the standard reference for everything concerning this method. It contains the mathematical basis on which it is founded, the precise definitions of the notations used, and a large number of examples illustrating its use in practice. J.-R. Abrial, the inventor of B, has written the book in such a way that it can be used for self-study or for reference. It is in four parts, the first dealing with the mathematical foundations and the definition of the various mathematical structures that are needed to formalise software systems; special emphasis is placed on the notion of proof. The second part contains a presentation of the Generalised Substitution Language and of the Abstract Machine Notation; examples are given to show how large specifications can be constructed systematically. The next part introduces the two basic programming features of sequencing and loop. The last part covers the very important notion of refinement. It shows how to construct large software systems by means of layered architectures of modules. With the appearance of The B-Book, formal methods practitioners, computer scientists, and systems developers at last will have access to the definitive account of what will become one of the standard approaches to the construction of software systems. The long-awaited B-Book is the standard reference for everything concerning the B Method, written by its inventor, J.-R. Abrial. Formal methods practitioners, computer scientists, and systems developers at last will have access to the definitive account of what will become one of the standard approaches to the construction of software systems. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
-
The B-Book
Lingua: Inglese
Editore: Cambridge University Press, 2005
ISBN 10: 0521021758 ISBN 13: 9780521021753
EUR 136,90
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. The long-awaited B-Book is the standard reference for everything concerning the B Method, written by its inventor, J.-R. Abrial. Formal methods practitioners, computer scientists, and systems developers at last will have access to the definitive account of .
-
The B-Book
Lingua: Inglese
Editore: Cambridge University Press, 2005
ISBN 10: 0521021758 ISBN 13: 9780521021753
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 198,97
Spedizione EUR 7,67
Spedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. 816 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam.
-
The B-Book
Lingua: Inglese
Editore: Cambridge University Press, 2005
ISBN 10: 0521021758 ISBN 13: 9780521021753
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 203,02
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. 816.
