Importo totale (1 articolo articoli):
Destinazione ordine:
applications formal methods (816 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (816)
- 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. (6)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (1)
- Con foto (370)
- Non Print on Demand (613)
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
Paperback. 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.
-
Research Methods for Librarians and Educators: Practical Applications in Formal and Informal Learning Environments
Da: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
-
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
Paperback. Condizione: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
-
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
Paperback. Condizione: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
-
Research Methods for Librarians and Educators Practical Applications in Formal and Informal Learning Environments
Da: TextbookRush, Grandview Heights, OH, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: Very Good. Ships SAME or NEXT business day. We Ship to APO/FPO addr. Choose EXPEDITED shipping and receive in 2-5 business days within the United States. See our member profile for customer support contact info. We have an easy return policy.
-
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,84
EUR 10,77 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.
-
Research Methods for Librarians and Educators: Practical Applications in Formal and Informal Learning Environments
Da: suffolkbooks, Center moriches, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
paperback. Condizione: Very Good. Fast Shipping - Safe and Secure 7 days a week!
-
Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control: 1165 (Lecture Notes in Computer Science, 1165)
Da: WeBuyBooks, Rossendale, LANCS, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 15,74
EUR 8,91 per la spedizione da Regno Unito a U.S.A.Quantitą: 1 disponibili
Aggiungi al carrelloCondizione: Like New. Most items will be dispatched the same or the next working day. An apparently unread copy in perfect condition. Dust cover is intact with no nicks or tears. Spine has no signs of creasing. Pages are clean and not marred by notes or folds of any kind.
-
Spatial Cognition II: Integrating Abstract Theories, Empirical Studies, Formal Methods, and Practical Applications (Lecture Notes in Computer Science, 1849)
Da: Phatpocket Limited, Waltham Abbey, HERTS, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 15,86
EUR 12,06 per la spedizione da Regno Unito a U.S.A.Quantitą: 1 disponibili
Aggiungi al carrelloCondizione: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
-
Paperback. Condizione: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks.
-
Affare
EUR 6,69
EUR 22,50 per la spedizione da Francia a U.S.A.Quantitą: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Trčs bon. Ancien livre de bibliothčque. Légčres traces d'usure sur la couverture. Edition 1995. Ammareal reverse jusqu'ą 15% du prix net de cet article ą des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Edition 1995. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Affare
EUR 6,66
EUR 22,50 per la spedizione da Francia a U.S.A.Quantitą: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Bon. Ancien livre de bibliothčque. Edition 1995. Ammareal reverse jusqu'ą 15% du prix net de cet article ą des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 1995. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Affare
EUR 6,69
EUR 22,50 per la spedizione da Francia a U.S.A.Quantitą: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Trčs bon. Ancien livre de bibliothčque. Edition 1995. Ammareal reverse jusqu'ą 15% du prix net de cet article ą des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1995. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Soft Cover. Condizione: Fair. Lecture Notes in Computer Science, 4313. Usual ex-library features. The interior is clean and tight. Binding is good. Cover shows slight wear. 196 pages. The book has a light bend from poor storage. Ex-Library.
-
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
Paperback. Condizione: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
-
Modern Formal Methods and Applications
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Very Good. We are unable to ship to Canada at this time.Ex-Library hardcover in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
-
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
EUR 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.
-
Research Methods for Librarians and Educators: Practical Applications in Formal and Informal Learning Environments
Da: Textbooks_Source, Columbia, MO, U.S.A.
Valutazione del venditore 5 su 5 stelle
paperback. Condizione: New. Ships in a BOX from Central Missouri! UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes).
-
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
Paperback. Condizione: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
-
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
EUR 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.
-
Formal Methods Foundations and Applications : 17th Brazilian Symposium, Sbmf 2014, Maceió, Al, Brazil, September 29--october 1, 2014, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
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
Condizione: New.
-
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
Condizione: New.
-
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
EUR 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.
-
Formal Methods: Applications And Technology: 11th International Workshop On Formal Methods For Industrial Critical Systems, Fmics 2006, And 5th International . Selected
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Formal Methods: Applications And Technology: 11th International Workshop On Formal Methods For Industrial Critical Systems, Fmics 2006, And 5th International . Selected
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
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
Paperback. Condizione: Very Good. We are unable to ship to Canada at this time.038757316X Ex-library paperback in very nice condition with the usual markings and attachments.
-
Affare
EUR 24,99
EUR 22,50 per la spedizione da Francia a U.S.A.Quantitą: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Trčs bon. Ancien livre de bibliothčque. Légčres traces d'usure sur la couverture. Couverture différente. Edition 1994. Ammareal reverse jusqu'ą 15% du prix net de cet article ą des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Different cover. Edition 1994. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Leveraging Applications of Formal Methods Verification and Validation Applicat (eng)
Da: Brook Bookstore, Milano, MI, Italia
Valutazione del venditore 4 su 5 stelle
EUR 41,49
EUR 8,00 per la spedizione da Italia a U.S.A.Quantitą: 5 disponibili
Aggiungi al carrelloCondizione: new.
-
Formal Methods Foundations and Applications : 17th Brazilian Symposium, Sbmf 2014, Maceió, Al, Brazil, September 29--october 1, 2014, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition.
