Importo totale (1 articolo articoli):
Destinazione ordine:
model checking software 26th (13 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (13)
- 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 (10)
- Come nuovo, Ottimo o Quasi ottimo (2)
- Molto buono o Buono (Nessun altro risultato corrispondente a questo perfezionamento)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (1)
Legatura
- Tutte
- Rilegato (Nessun altro risultato corrispondente a questo perfezionamento)
- Brossura (13)
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 (6)
- Non Print on Demand (13)
Lingua (1)
Prezzo
- Qualsiasi prezzo
- Inferiore a EUR 20 (Nessun altro risultato corrispondente a questo perfezionamento)
- EUR 20 a EUR 45
- Superiore a EUR 45
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Model Checking Software : 26th International Symposium, Spin 2019, Beijing, China, July 15?16, 2019, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 52,37
Spedizione EUR 2,31
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings (Theoretical Computer Science and General Issues)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 61,29
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Model Checking Software : 26th International Symposium, Spin 2019, Beijing, China, July 15?16, 2019, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 62,68
Spedizione EUR 2,31
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings (Theoretical Computer Science and General Issues)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 61,56
Spedizione EUR 14,10
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Model Checking Software : 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 57,89
Spedizione EUR 18,22
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Model Checking Software : 26th International Symposium, Spin 2019, Beijing, China, July 15?16, 2019, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,97
Spedizione EUR 17,65
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Model Checking Software : 26th Internati
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
EUR 68,72
Spedizione EUR 10,50
Spedito da Irlanda a U.S.A.Quantità: 15 disponibili
Aggiungi al carrelloCondizione: New.
-
Model Checking Software : 26th International Symposium, Spin 2019, Beijing, China, July 15?16, 2019, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 67,77
Spedizione EUR 17,65
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Model Checking Software: 26th International Symposium, Spin 2019, Beijing, China, July 15-19, 2019, Proceedings
Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2019
ISBN 10: 3030309223 ISBN 13: 9783030309220
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 79,23
Spedizione EUR 11,77
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 350 pages. 9.25x6.10x0.63 inches. In Stock.
-
Model Checking Software : 26th Internati
Da: Kennys Bookstore, Olney, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Model Checking Software : 26th International Symposium, SPIN 2019, Beijing, China, July 15¿16, 2019, Proceedings
Lingua: Inglese
Editore: Springer International Publishing, Springer International Publishing, 2019
ISBN 10: 3030309223 ISBN 13: 9783030309220
EUR 53,49
Spedizione EUR 62,09
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019.The 11 full papers presented and 2 demo-tool papers, were carefully reviewed and selected from 29 submissions. Topics covered include formal verification techniques for automated analysisof software; formal analysis for modeling languages, such as UML/state charts;formal specification languages, temporal logic, design-by-contract; model checking,automated theorem proving, including SAT and SMT; verifying compilers;abstraction and symbolic execution techniques; and much more.
-
EUR 50,40
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Model Checking Software | 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings | Fabrizio Biondi (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2019 | Springer | EAN 9783030309220 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
EUR 42,92
Spedizione EUR 105,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Hervorragend. Zustand: Hervorragend | Seiten: 272 | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019. The 11 full papers presented and 2 demo-tool papers, were carefully reviewed and selected from 29 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.
