Order Total (1 Item Items):
Shipping Destination:
Applications Formal Methods (826 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (826)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
Collectible Attributes
- First Edition (2)
- Signed (No further results match this refinement)
- Dust Jacket (1)
- Seller-Supplied Images (362)
- Not Print on Demand (527)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
Paperback. Condition: Good. No Jacket. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
-
Research Methods for Librarians and Educators: Practical Applications in Formal and Informal Learning Environments
Seller: World of Books (was SecondSale), Montgomery, IL, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc.
-
paperback. Condition: Very Good. Fast Shipping - Safe and Secure 7 days a week!
-
Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia, June/July 1993 Proceedings (Lecture Notes in Computer Science 735)
Language: English
Published by Springer-Verlag, Berlin, 1993
ISBN 10: 038757316X ISBN 13: 9780387573168
Seller: PsychoBabel & Skoob Books, Didcot, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Good. Dust Jacket Condition: 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.
-
Soft Cover. Condition: 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.
-
Formal Methods for Industrial Applications : Specifying and Programming the Steam Boiler Control
Language: English
Published by Springer Berlin / Heidelberg, 1996
ISBN 10: 3540619291 ISBN 13: 9783540619291
Condition: Good. 1996th Edition. 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.
-
Logic Programming: Formal Methods and Practical Applications Studies in Computer Science and Artifical Intelligence, 11
Language: English
Published by Elsevier Science Ltd, 1995
ISBN 10: 0444820922 ISBN 13: 9780444820921
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
gebundene Ausgabe. Condition: 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.
-
Condition: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.
-
Formal Methods for Safety and Security. Case Studies for Aerospace Applications.
Language: English
Published by Singapore, Springer., 2018
ISBN 10: 9811041202 ISBN 13: 9789811041204
Seller: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germany
Association Member: GIAQ ILAB VDA
Seller rating 4 out of 5 stars
23.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.
-
-
Condition: Acceptable. Readable, but has significant damage / tears. Has a remainder mark. paperback Used - Acceptable 2023.
-
Leveraging applications of formal methods, verification and validation, Applications and case studies, 2 Lecture notes in computer science ; 7610
Language: English
Published by Berlin ; Heidelberg : Springer, 2012
ISBN 10: 3642340318 ISBN 13: 9783642340314
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
Broschiert. Condition: 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.
-
-
Condition: As New. Unread book in perfect condition.
-
Modern Formal Methods And Applications
Language: English
Published by Springer Verlag, New York, NY, 2006
ISBN 10: 1402042221 ISBN 13: 9781402042225
Cloth. Condition: Very Good. 197 pp. Tightly bound. Top corners are bumped. Text is free of markings. The word "USED" neatly stamped on top fore-edge.
-
-
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)
Book 57 of 99: Undergraduate Topics in Computer ScienceSeller: Books From California, Simi Valley, CA, U.S.A.
Seller rating 4 out of 5 stars
paperback. Condition: Very Good.
-
-
-
-
-
-
Formal Methods: Foundations and Applications: 28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3â"5, 2025, Proceedings (Lecture Notes in Computer Science)
Seller: Books From California, Simi Valley, CA, U.S.A.
Seller rating 4 out of 5 stars
paperback. Condition: Fine.
-
Paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Condition: Acceptable. Readable, but has significant damage / tears. Has a remainder mark. paperback Used - Acceptable 2017.
-
Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, 1
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
Broschiert. Condition: 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.
-
Condition: As New. Unread book in perfect condition.
-
-
-
Spatial Cognition II: Integrating Abstract Theories, Empirical Studies, Formal Methods, and Practical Applications (Lecture Notes in Computer Science, 1849)
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
US$ 52.20
US$ 14.31 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: 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.
