Importo totale (1 articolo articoli):
Destinazione ordine:
reactive systems modelling specification di aceto luca (9 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (9)
- 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 (7)
- Come nuovo, Ottimo o Quasi ottimo (Nessun altro risultato corrispondente a questo perfezionamento)
- 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 (9)
- Brossura (Nessun altro risultato corrispondente a questo perfezionamento)
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 (1)
- 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 40 (Nessun altro risultato corrispondente a questo perfezionamento)
- Superiore a EUR 40
Spedizione gratuita
- Spedizione gratuita in U.S.A. (Nessun altro risultato corrispondente a questo perfezionamento)
Paese del venditore
Valutazione venditore
-
Reactive Systems: Modelling, Specification and Verification
Lingua: Inglese
Editore: Cambridge University Press, 2007
ISBN 10: 0521875463 ISBN 13: 9780521875462
Hard Cover. Condizione: Good. No Jacket. Ex-library with the usual features. The interior is clean and tight. Binding and cover are good. 284 pages. Ex-Library.
-
Reactive Systems: Modelling, Specification and Verification
Lingua: Inglese
Editore: Cambridge University Press, 2007
ISBN 10: 0521875463 ISBN 13: 9780521875462
EUR 57,77
Spedizione EUR 15,62
Spedito da Regno Unito a U.S.A.Quantitą: 1 disponibili
Aggiungi al carrelloCondizione: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,750grams, ISBN:9780521875462.
-
Reactive Systems: Modelling, Specification and Verification
Lingua: Inglese
Editore: Cambridge University Press, 2007
ISBN 10: 0521875463 ISBN 13: 9780521875462
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 106,51
Spedizione EUR 13,76
Spedito da Regno Unito a U.S.A.Quantitą: Pił di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Reactive Systems: Modelling, Specification and Verification
Lingua: Inglese
Editore: Cambridge University Press, 2007
ISBN 10: 0521875463 ISBN 13: 9780521875462
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
EUR 123,43
Spedizione EUR 10,50
Spedito da Irlanda a U.S.A.Quantitą: Pił di 20 disponibili
Aggiungi al carrelloCondizione: New. Accessible text describing the process algebraic approach to the specification and verification of software and software systems using mathematical logic. Num Pages: 302 pages, 28 b/w illus. 7 tables 188 exercises. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 256 x 183 x 22. Weight in Grams: 666. . 2007. hardcover. . . . .
-
Reactive Systems: Modelling, Specification and Verification
Lingua: Inglese
Editore: Cambridge University Press, 2007
ISBN 10: 0521875463 ISBN 13: 9780521875462
Da: Kennys Bookstore, Olney, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 151,78
Spedizione EUR 8,91
Spedito in U.S.A.Quantitą: Pił di 20 disponibili
Aggiungi al carrelloCondizione: New. Accessible text describing the process algebraic approach to the specification and verification of software and software systems using mathematical logic. Num Pages: 302 pages, 28 b/w illus. 7 tables 188 exercises. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 256 x 183 x 22. Weight in Grams: 666. . 2007. hardcover. . . . . Books ship from the US and Ireland.
-
Reactive Systems: Modelling, Specification and Verification
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 162,04
Spedizione EUR 14,35
Spedito da Regno Unito a U.S.A.Quantitą: 2 disponibili
Aggiungi al carrelloHardcover. Condizione: Brand New. 284 pages. 9.75x7.00x0.75 inches. In Stock.
-
Reactive Systems : Modelling, Specification and Verification
Lingua: Inglese
Editore: Cambridge University Press, 2007
ISBN 10: 0521875463 ISBN 13: 9780521875462
EUR 158,48
Spedizione EUR 63,52
Spedito da Germania a U.S.A.Quantitą: 1 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Formal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various methodologies have been developed and incorporated into software tools. An important subclass is distributed systems. There are many books that look at particular methodologies for such systems, e.g. CSP, process algebra. This book offers a more balanced introduction for graduate students that describes the various approaches, their strengths and weaknesses, and when they are best used. Milner's CCS and its operational semantics are introduced, together with notions of behavioural equivalence based on bisimulation techniques and with variants of Hennessy-Milner modal logics. Later in the book, the presented theories are extended to take timing issues into account. The book has arisen from various courses taught in Iceland and Denmark and is designed to give students a broad introduction to the area, with exercises throughout.
-
Reactive Systems: Modelling, Specification and Verification
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 109,69
Spedizione EUR 14,35
Spedito da Regno Unito a U.S.A.Quantitą: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Brand New. 284 pages. 9.75x7.00x0.75 inches. In Stock. This item is printed on demand.
-
Reactive Systems: Modelling, Specification and Verification
Lingua: Inglese
Editore: Cambridge University Press, 2007
ISBN 10: 0521875463 ISBN 13: 9780521875462
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 112,66
Spedizione EUR 20,35
Spedito da Regno Unito a U.S.A.Quantitą: Pił di 20 disponibili
Aggiungi al carrelloHardback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
