Logic Software Engineering Proceedings (4 results)

Title:

Refine with Advanced Search

More images
Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
Dahl, VerÃ³nica [Editor]; NiemelÃ¤, Ilkka [Editor];
Language: English
Published by Springer, 2007
3540746080 / 9783540746089
- Softcover
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks
5-star seller
Contact seller
Condition: Used - Good
£ 18.61
£ 5.27 shipping
Ships within U.S.A.
Quantity: 1 available
Paperback. Condition: Good. Sorry, No international shipping on this item.Ex-Library paperback with the usual markings, attachments, and library wear. Soiled edges otherwise, except for library markings, interior clean and unmarked. Tight binding.
Discover more from Havelund, Klaus
Explore their published works and collectible offers.Explore Havelund, Klaus
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings (Programming and Software Engineering)
Language: English
Published by Springer, 2018
3319955810 / 9783319955810
- Softcover
Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle
4-star seller
Contact seller
Condition: New
£ 131.69
£ 3.01 shipping
Ships within U.S.A.
Quantity: 4 available
Condition: New. 1st ed. 2018 edition NO-PA16APR2015-KAP.
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings (Programming and Software Engineering)
Language: English
Published by Springer, 2018
3319955810 / 9783319955810
- Softcover
- Print on Demand
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
4-star seller
Contact seller
Condition: New
£ 134.15
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Condition: New. Print on Demand.
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings (Programming and Software Engineering)
Language: English
Published by Springer, 2018
3319955810 / 9783319955810
- Softcover
- Print on Demand
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
4-star seller
Contact seller
Condition: New
£ 140.32
£ 8.32 shipping
Ships from Germany to U.S.A.
Quantity: 4 available
Condition: New. PRINT ON DEMAND.

Logic Software Engineering Proceedings (4 results)

Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings (Programming and Software Engineering)

Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings (Programming and Software Engineering)

Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings (Programming and Software Engineering)