Order Total (1 Item Items):
Shipping Destination:
Formal Techniques Distributed Systems (303 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (303)
- 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 (252)
- As New, Fine or Near Fine (43)
- Very Good or Good (6)
- Fair or Poor (No further results match this refinement)
- As Described (2)
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 (167)
- Not Print on Demand (238)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Formal Techniques for Networked and Distributed Systems - FORTE 2004 : 24th IFIP WG 6.1 International Conference, Madrid Spain September 2004 Proceedings
Language: English
Published by Springer Berlin / Heidelberg, 2004
ISBN 10: 3540232524 ISBN 13: 9783540232520
Condition: Very Good. 2004th Edition. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Paperback. Condition: Good. Good condition. Pages are clean and unmarked. Little to no edgewear. Tulsa's largest used bookstore. Located on South Mingo Road since 1991. No-hassle return policy if not completely satisfied.
-
Paperback. Condition: Very Good. Using Formal Description Techniques: An Introduction to Estell, LOTOS and SDL (Wiley Series in Communication and Distributed Systems) 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.
-
Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference Paris, France, September 26-
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2006
ISBN 10: 3540462198 ISBN 13: 9783540462194
£ 5.16 10% off£ 4.65
£ 17.71 shipping
Ships from France to U.S.A.Quantity: 1 available
Add to basketSoftcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 2006. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2006. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
£ 5.16 10% off
£ 4.65
£ 17.71 shipping
Ships from France to U.S.A.Quantity: 1 available
Add to basketSoftcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 2015. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2015. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
£ 5.16 10% off
£ 4.65
£ 17.71 shipping
Ships from France to U.S.A.Quantity: 1 available
Add to basketSoftcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 2016. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2016. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
£ 5.77 10% off
£ 5.20
£ 17.71 shipping
Ships from France to U.S.A.Quantity: 1 available
Add to basketSoftcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 2018. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2018. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
£ 5.77 10% off
£ 5.20
£ 17.71 shipping
Ships from France to U.S.A.Quantity: 1 available
Add to basketSoftcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 2017. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2017. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Formal Techniques for Distributed Systems: Joint 12th Ifip Wg 6.1 International Conference, Fmoods 2010 and 30th Ifip Wg 6.1 International C
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2010
ISBN 10: 3642134637 ISBN 13: 9783642134630
£ 5.77 10% off£ 5.20
£ 17.71 shipping
Ships from France to U.S.A.Quantity: 1 available
Add to basketSoftcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 2010. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2010. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Formal Techniques for Distributed Systems: Joint 13th Ifip Wg 6.1 International Conference, Fmoods 2011, and 30th Ifip Wg 6.1 International
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2011
ISBN 10: 3642214606 ISBN 13: 9783642214608
£ 5.77 10% off£ 5.20
£ 17.71 shipping
Ships from France to U.S.A.Quantity: 1 available
Add to basketSoftcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 2011. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2011. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Condition: 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.
-
Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, . (Lecture Notes in Computer Science)
Language: English
Published by Springer Berlin Heidelberg, 2002
ISBN 10: 3540001417 ISBN 13: 9783540001416
Seller: Versandbuchhandlung Kisch & Co., Fürstenberg OT Blumenow, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Gebraucht - Wie neu sehr gut erhalten; Rechnung mit MwSt.; Bestellungen bis 15 Uhr werden am gleichen Werktag verschickt. ;.This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, held in Houston, Texas, USA in November 2002. The 22 revised full papers, 2 tool papers, and 2 posters presented were carefully reviewed and selected from 61 submissions. All current aspects of formal method for distributed systems and communication protocols are addressed, in particular formal specification, testing, and verification of such systems. -This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, held in Houston, Texas, USA in November 2002. The 22 revised full papers, 2 tool papers, and 2 posters presented were carefully reviewed and selected from 61 submissions. All current aspects of formal method for distributed systems and communication protocols are addressed, in particular formal specification, testing, and verification of such systems. 388 pp. Englisch.
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, . (Lecture Notes in Computer Science)
Language: English
Published by Springer Berlin Heidelberg, 2002
ISBN 10: 3540001417 ISBN 13: 9783540001416
Seller: Che & Chandler Versandbuchhandlung, Fürstenberg OT Blumenow, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Gebraucht - Wie neu sehr gut erhalten; Rechnung mit MwSt.; Bestellungen bis 15 Uhr werden am gleichen Werktag verschickt. ;.This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, held in Houston, Texas, USA in November 2002. The 22 revised full papers, 2 tool papers, and 2 posters presented were carefully reviewed and selected from 61 submissions. All current aspects of formal method for distributed systems and communication protocols are addressed, in particular formal specification, testing, and verification of such systems. -This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, held in Houston, Texas, USA in November 2002. The 22 revised full papers, 2 tool papers, and 2 posters presented were carefully reviewed and selected from 61 submissions. All current aspects of formal method for distributed systems and communication protocols are addressed, in particular formal specification, testing, and verification of such systems. 388 pp. Englisch.
-
-
-
-
Condition: New. pp. 360.
-
Condition: New. pp. 360 Illus.
-
Formal Techniques for Distributed Systems Lecture Notes in Computer Science, Band 5522
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
Broschiert. Condition: Gut. 248 Seiten Das Buch befindet sich in einem gut erhaltenen Zustand. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 415.
-
Condition: As New. Unread book in perfect condition.
-
Condition: As New. Unread book in perfect condition.
-
Condition: New. pp. 360.
-
Formal Techniques for Distributed Systems (Paperback)
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2011
ISBN 10: 3642214606 ISBN 13: 9783642214608
Paperback. Condition: new. Paperback. This book constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2011, and the 31st IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2011, held in Reykjavik, Island, in June 2011, as one of the DisCoTec 2011 events. The 21 revised full papers presented together with one invited talk were carefully reviewed and selected from 65 submissions. The topics covered are formal verification, formal modeling and specification, run-time monitoring, and testing to address challenges in many different application areas, including dynamic and ad hoc networks, mobile and adaptive computation, reactive and timed systems, business processes, and distributed and concurrent systems and algorithms. This book constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2011, and the 31st IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2011, held in Reykjavik, Island, in June 2011, as one of the DisCoTec 2011 events. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings (Lecture Notes in Computer Science)
Language: English
Published by Springer 20.07.2007., 2007
ISBN 10: 3540731954 ISBN 13: 9783540731955
Condition: Sehr gut. Auflage: 2007. 392 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 23,1 x 16,5 x 2,0 cm, Taschenbuch.
-
Condition: As New. Unread book in perfect condition.
-
-
