Importo totale (1 articolo articoli):
Destinazione ordine:
computer aided verification fourth di probst david (11 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (11)
- 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 (8)
- Come nuovo, Ottimo o Quasi ottimo (2)
- Molto buono o Buono (1)
- 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 (11)
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 (5)
- Non Print on Demand (11)
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
-
Computer Aided Verification : Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings
Lingua: Inglese
Editore: Springer Berlin / Heidelberg, 1993
ISBN 10: 3540564969 ISBN 13: 9783540564966
Da: Better World Books, Mishawaka, IN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Computer Aided Verification : Fourth International Workshop, Cav '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 56,73
Spedizione EUR 2,32
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Computer Aided Verification: Fourth International Workshop, Cav '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings (Paperback or Softback)
Da: BargainBookStores, Grand Rapids, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback or Softback. Condizione: New. Computer Aided Verification: Fourth International Workshop, Cav '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings. Book.
-
Computer Aided Verification: Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings (Lecture Notes in Computer Science, 663)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 61,56
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Computer Aided Verification : Fourth International Workshop, Cav '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 63,16
Spedizione EUR 2,32
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Computer Aided Verification: Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings (Lecture Notes in Computer Science, 663)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 61,06
Spedizione EUR 13,98
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Computer Aided Verification : Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 57,67
Spedizione EUR 18,08
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Computer Aided Verification : Fourth International Workshop, Cav '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,64
Spedizione EUR 17,51
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Computer Aided Verification : Fourth International Workshop, Cav '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 67,27
Spedizione EUR 17,51
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
EUR 53,49
Spedizione EUR 63,32
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume gives the proceedings of the Fourth Workshop onComputer-Aided Verification (CAV '92), held in Montreal,June 29 - July 1, 1992. The objective of this series ofworkshops is to bring together researchers and practitionersinterested in the development and use of methods, tools andtheories for the computer-aided verification of concurrentsystems. The workshops provide an opportunity for comparingvarious verification methods and practical tools that can beused to assist the applications designer. Emphasis is placedon new research results and the application of existingresults to real verification problems.The volume contains 31 papers selected from 75 submissions.These are organized into parts on reduction techniques,proof checking, symbolic verification, timing verification,partial-order approaches, case studies, model and proofchecking, and other approaches. The volume starts with aninvited lectureby Leslie Lamport entitled'Computer-hindered verification (humans can do it too)'.
-
EUR 50,25
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Computer Aided Verification | Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings | Gregor von Bochmann (u. a.) | Taschenbuch | ix | Englisch | 1993 | Springer | EAN 9783540564966 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
