Order Total (1 Item Items):
Shipping Destination:
Badger Julia M (42 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (42)
- 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
- New (35)
- As New, Fine or Near Fine (5)
- Very Good or Good (2)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (42)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (15)
- Not Print on Demand (26)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Fantastic Stories of the Imagination People of Color Flash Anthology
Language: English
Published by Positronic Publishing, 2017
ISBN 10: 1515417050 ISBN 13: 9781515417057
Condition: As New. Unread book in perfect condition.
-
Fantastic Stories of the Imagination People of Color Flash Anthology
Language: English
Published by Positronic Publishing, 2017
ISBN 10: 1515417050 ISBN 13: 9781515417057
Condition: New.
-
paperback. Condition: Very Good. NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7â"9, 2019, Proceedings: 11460 (Lecture Notes in Computer Science, 11460) This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. .
-
paperback. Condition: Very Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee.
-
Fantastic Stories of the Imagination People of Color Flash Anthology
Language: English
Published by Positronic Publishing, 2017
ISBN 10: 1515417050 ISBN 13: 9781515417057
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 10.90
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Fantastic Stories of the Imagination People of Color Flash Anthology
Language: English
Published by Positronic Publishing, 2017
ISBN 10: 1515417050 ISBN 13: 9781515417057
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Fantastic Stories of the Imagination People of Color Flash Anthology
Language: English
Published by Positronic Publishing, 2017
ISBN 10: 1515417050 ISBN 13: 9781515417057
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Fantastic Stories of the Imagination People of Color Flash Anthology
Language: English
Published by Positronic Publishing, 2017
ISBN 10: 1515417050 ISBN 13: 9781515417057
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.80
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
Fantastic Stories of the Imagination People of Color Flash Anthology
Language: English
Published by Positronic Publishing, 2017
ISBN 10: 1515417050 ISBN 13: 9781515417057
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
£ 12.15
£ 3.29 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Nasa Formal Methods : 6th International Symposium, Nfm 2014, Houston, Tx, USA, April 29 - May 1, 2014. Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Condition: New. pp. 388.
-
NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 66.16
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
-
NASA Formal Methods
Language: English
Published by Springer International Publishing, 2014
ISBN 10: 3319061992 ISBN 13: 9783319061993
Kartoniert / Broschiert. Condition: New.
-
Fantastic Stories of the Imagination People of Color Flash Anthology
Language: English
Published by Positronic Publishing, 2017
ISBN 10: 1515417050 ISBN 13: 9781515417057
Condition: New. Print on Demand pp. 72.
-
Nasa Formal Methods : 11th International
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New.
-
Fantastic Stories of the Imagination People of Color Flash Anthology
Language: English
Published by Positronic Publishing, 2017
ISBN 10: 1515417050 ISBN 13: 9781515417057
Condition: New. Print on Demand pp. 72.
-
NASA Formal Methods : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings
Language: English
Published by Springer International Publishing, Springer International Publishing, 2014
ISBN 10: 3319061992 ISBN 13: 9783319061993
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 6th International Symposium on NASA Formal Methods, NFM 2014, held in Houston, TX, USA, April 29 - May 1, 2014. The 20 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 107 submissions. The topics include model checking, theorem proving, static analysis, model-based development, runtime monitoring, formal approaches to fault tolerance, applications of formal methods to aerospace systems, formal analysis of cyber-physical systems, including hybrid and embedded systems, formal methods in systems engineering, modeling, requirements and specifications, requirements generation, specification debugging, formal validation of specifications, use of formal methods in safety cases, use of formal methods in human-machine interaction analysis, formal methods for parallel hardware implementations, use of formal methods in automated software engineering and testing, correct-by-design, design for verification, and property based design techniques, techniques and algorithms for scaling formal methods, e.g., abstraction and symbolic methods, compositional techniques, parallel and distributed techniques, and application of formal methods to emerging technologies.
-
Nasa Formal Methods: 11th International Symposium, Nfm 2019, Houston, Tx, USA, May 79, 2019, Proceedings
Language: English
Published by Springer-Verlag New York Inc, 2019
ISBN 10: 3030206513 ISBN 13: 9783030206512
Paperback. Condition: Brand New. 416 pages. 9.25x6.10x1.10 inches. In Stock.
-
Condition: New.
-
Taschenbuch. Condition: Neu. NASA Formal Methods | 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings | Julia M. Badger (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxvi | Englisch | 2014 | Springer | EAN 9783319061993 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Taschenbuch. Condition: Neu. NASA Formal Methods | 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings | Julia M. Badger (u. a.) | Taschenbuch | xxi | Englisch | 2019 | Springer | EAN 9783030206512 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May 2019.The 20 full and 8 short papers presented in this volume were carefullyreviewed and selected from 102 submissions. The papers focus on formal verification, including theorem proving, model checking, and static analysis; advances in automated theorem proving including SAT and SMT solving; use of formal methods in software and system testing; run-time verification; techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional techniques, as well as parallel and/or distributed techniques; code generation from formally verified models; safety cases and system safety; formal approaches to fault tolerance; theoretical advances and empirical evaluations of formal methods techniques for safety-critical systems, including hybrid and embedded systems; formal methods in systems engineeringand model-based development; correct-by-design controller synthesis; formal assurance methods to handle adaptive systems.
-
Paperback. Condition: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Nasa Formal Methods : 6th International Symposium, Nfm 2014, Houston, Tx, USA, April 29 - May 1, 2014. Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 120.99
£ 15 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Paperback. Condition: Like New. Like New. book.
-
Fantastic Stories of the Imagination People of Color Flash Anthology
Language: English
Published by Positronic Publishing, 2017
ISBN 10: 1515417050 ISBN 13: 9781515417057
Condition: New. PRINT ON DEMAND pp. 72.
