Importo totale (1 articolo articoli):
Destinazione ordine:
applications formal methods (820 risultati)
Feedback
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (820)
- 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
Legatura
Ulteriori caratteristiche
- Prima ed. (7)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (1)
- Con foto (289)
- Non Print on Demand (630)
Lingua (2)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Research Methods for Librarians and Educators: Practical Applications in Formal and Informal Learning Environments
Da: BooksRun, Philadelphia, PA, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 4,56
Convertire valutaGratis per la spedizione in U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 27,65
Usato - A partire da EUR 4,56
Scopri anche Brossura
-
FME '97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, . (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 5,26
Convertire valutaEUR 5,96 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 103,71
Usato - A partire da EUR 11,22
Scopri anche Brossura
-
Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 6,53
Convertire valutaEUR 5,96 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 73,14
Usato - A partire da EUR 12,49
Scopri anche Brossura
-
Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia, June/July 1993 Proceedings (Lecture Notes in Computer Science 735)
Da: PsychoBabel & Skoob Books, Didcot, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 7,99
Convertire valutaEUR 10,99 per la spedizione da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Good. Condizione sovraccoperta: No Dust Jacket. Lecture Notes in Computer Science 735 .Ex-Library. Previous owner's sticker on the front cover. Ink stamp on half-title page. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 96,90
Usato - A partire da EUR 18,98
Scopri anche Brossura
-
Applications of Formal Methods
Da: Better World Books Ltd, Dunfermline, Regno Unito
Valutazione del venditore 5 su 5 stelle
Prima edizione
EUR 5,40
Convertire valutaEUR 9,26 per la spedizione da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Very Good. 1st. Ships from the UK. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects.
Ulteriori offerte da altri venditori AbeBooks
Usato - A partire da EUR 14,66
Scopri anche Rilegato Prima edizione
-
Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 45,22
Convertire valutaEUR 5,96 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 55,33
Usato - A partire da EUR 29,74
Scopri anche Brossura
-
Spatial Cognition II: Integrating Abstract Theories, Empirical Studies, Formal Methods, and Practical Applications (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) (v. 2)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 24,71
Convertire valutaEUR 5,96 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 55,92
Usato - A partire da EUR 30,67
Scopri anche Brossura
-
Modern Formal Methods and Applications
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 26,33
Convertire valutaEUR 5,96 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Very Good. Ex-Library hardcover in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 78,97
Usato - A partire da EUR 32,29
Scopri anche Rilegato
-
Logic Programming: Formal Methods and Practical Applications Studies in Computer Science and Artifical Intelligence, 11
Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germania
Valutazione del venditore 5 su 5 stelle
EUR 17,95
Convertire valutaEUR 15,95 per la spedizione da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrellogebundene Ausgabe. Condizione: Gut. 404 Seiten Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber und kann entsprechende Merkmale aufweisen (Rückenschild, Instituts-Stempel.). Sprache: Englisch Gewicht in Gramm: 975.
-
Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th . / Programming and Software Engineering)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 37,20
Convertire valutaEUR 5,96 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 44,05
Usato - A partire da EUR 43,16
Scopri anche Brossura
-
Formal Methods for Safety and Security. Case Studies for Aerospace Applications.
Da: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germania
Membro dell'associazione: GIAQ ILAB VDA
Valutazione del venditore 5 su 5 stelle
EUR 14,00
Convertire valutaEUR 30,00 per la spedizione da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrello23.5 cm x 15.5 cm, 0 g. XII, 132 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 136,75
Usato - A partire da EUR 44,00
Scopri anche Rilegato
-
Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings (Programming and Software Engineering)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 42,85
Convertire valutaEUR 3,40 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 46,25
Usato - A partire da EUR 51,64
Scopri anche Brossura
-
Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings (Programming and Software Engineering)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 42,85
Convertire valutaEUR 3,40 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 46,25
Usato - A partire da EUR 139,74
Scopri anche Brossura
-
Leveraging applications of formal methods, verification and validation, Applications and case studies, 2 Lecture notes in computer science ; 7610
Editore: Berlin ; Heidelberg : Springer, 2012
ISBN 10: 3642340318 ISBN 13: 9783642340314
Lingua: Inglese
Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germania
Valutazione del venditore 5 su 5 stelle
EUR 32,95
Convertire valutaEUR 12,95 per la spedizione da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBroschiert. Condizione: Gut. XVI, 361 S. : Ill., graph. Darst. Das Buch befindet sich in einem gut erhaltenen Zustand. Namensvermerk des Vorbesitzers im Vorsatz. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 605.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 55,67
Usato - A partire da EUR 45,90
Scopri anche Brossura
-
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 41,21
Convertire valutaEUR 5,96 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. 038757316X Ex-library paperback in very nice condition with the usual markings and attachments.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 55,92
Usato - A partire da EUR 47,17
Scopri anche Brossura
-
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications
Editore: Springer International Publishing AG, Switzerland, 2017
ISBN 10: 3319640208 ISBN 13: 9783319640204
Lingua: Inglese
Da: PsychoBabel & Skoob Books, Didcot, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 42,90
Convertire valutaEUR 10,99 per la spedizione da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. Paperback in very good condition. Cover corners are slightly bumped and rubbed. Covers are clean, binding is sound and content is as unread. LW.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 63,71
Usato - A partire da EUR 50,21
Scopri anche Brossura
-
EUR 42,94
Convertire valutaEUR 7,65 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. SUPER FAST SHIPPING.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 50,59
Usato - A partire da EUR 56,15
Scopri anche Brossura
-
Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings (Programming and Software Engineering)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 47,73
Convertire valutaEUR 3,40 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 51,13
Usato - A partire da EUR 132,59
Scopri anche Brossura
-
Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, 1
Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germania
Valutazione del venditore 5 su 5 stelle
EUR 34,95
Convertire valutaEUR 15,95 per la spedizione da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBroschiert. Condizione: Gut. 614 Seiten Das Buch befindet sich in einem gut erhaltenen Zustand. Namensvermerk des Vorbesitzers im Vorsatz. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 970.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 55,92
Usato - A partire da EUR 50,90
Scopri anche Brossura
-
Leveraging Applications of Formal Methods, Verification, and Validation: 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, ... in Computer and Information Science, 683)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 51,93
Convertire valutaEUR 3,40 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 55,33
Usato - A partire da EUR 62,72
Scopri anche Brossura
-
Leveraging Applications of Formal Methods Verification and Validation Applicat (eng)
Da: Brook Bookstore, Milano, MI, Italia
Valutazione del venditore 5 su 5 stelle
EUR 46,25
Convertire valutaEUR 8,00 per la spedizione da Italia a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloCondizione: new.
-
Formal Methods: Foundations and Applications : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings
Editore: Springer International Publishing AG, 2018
ISBN 10: 3030030431 ISBN 13: 9783030030438
Lingua: Inglese
Da: Better World Books Ltd, Dunfermline, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 46,11
Convertire valutaEUR 9,26 per la spedizione da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Very Good. Ships from the UK. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 64,61
Usato - A partire da EUR 55,37
Scopri anche Brossura
-
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification (Lecture Notes in Computer Science)
Da: Books From California, Simi Valley, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 52,14
Convertire valutaEUR 3,40 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrellopaperback. Condizione: Very Good.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 77,64
Usato - A partire da EUR 55,54
Scopri anche Brossura
-
Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ... in Computer and Information Science, 336)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 52,27
Convertire valutaEUR 3,40 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 55,67
Usato - A partire da EUR 129,35
Scopri anche Brossura
-
Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings (Programming and Software Engineering)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 52,27
Convertire valutaEUR 3,40 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 55,67
Usato - A partire da EUR 153,19
Scopri anche Brossura
-
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised ... (Lecture Notes in Computer Science, 6527)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 52,27
Convertire valutaEUR 3,40 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised ... (Lecture Notes in Computer Science, 5902)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 52,27
Convertire valutaEUR 3,40 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 55,67
Usato - A partire da EUR 140,81
Scopri anche Brossura
-
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends (Theoretical Computer Science and General Issues)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 52,27
Convertire valutaEUR 3,40 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
EUR 48,27
Convertire valutaEUR 7,65 per la spedizione in U.S.A.Quantità: 3 disponibili
Aggiungi al carrelloCondizione: New. SUPER FAST SHIPPING.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 55,92
Usato - A partire da EUR 159,55
Scopri anche Brossura
-
EUR 48,27
Convertire valutaEUR 7,65 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. SUPER FAST SHIPPING.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 55,92
Usato - A partire da EUR 192,18
Scopri anche Brossura
