Order Total (1 Item Items):
Shipping Destination:
Ravara António (59 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (59)
- 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 (54)
- As New, Fine or Near Fine (4)
- Very Good or Good (No further results match this refinement)
- Fair or Poor (No further results match this refinement)
- As Described (1)
Binding
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 (21)
- Not Print on Demand (38)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Condition: As New. Unread book in perfect condition.
-
Condition: New.
-
Condition: New.
-
Condition: New.
-
Behavioural Types : From Theory to Tools
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Web Services, Formal Methods, and Behavioral Types: 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and ... Papers (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 43.32
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
-
Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th ... DisCoTec 2023, Lisbon, Portugal, J
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 45.35
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Behavioural Types : From Theory to Tools
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Web Services, Formal Methods, and Behavioral Types: 11th International Workshop
Language: English
Published by Springer-Verlag New York Inc, 2016
ISBN 10: 3319336118 ISBN 13: 9783319336114
Paperback. Condition: Brand New. 188 pages. 9.25x6.10x0.47 inches. In Stock.
-
Coordination Models and Languages (Paperback)
Language: English
Published by Springer International Publishing AG, Cham, 2025
ISBN 10: 3031955889 ISBN 13: 9783031955884
Paperback. Condition: new. Paperback. This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2025, held in Lille, France, during June 1719, 2025, as part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025.The 12 full papers and two invited contributions included in this book were carefully reviewed and selected from 29 submissions. This conference provides a well-established forum for the community of researchers interested in models, languages, architectures, and implementation techniques for coordination. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Formal Techniques for Distributed Objects, Components, and Systems (Lecture Notes in Computer Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 60.59
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
Condition: As New. Unread book in perfect condition.
-
-
Web Services, Formal Methods, and Behavioral Types
Language: English
Published by Springer International Publishing, Springer International Publishing Apr 2016, 2016
ISBN 10: 3319336118 ISBN 13: 9783319336114
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the workshops WS-FM:FASOCC 2014 and WS-FM/BEAT 2015.The 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Services-Oriented and Cloud Computing, WS-FM 2014, took place in Eindhoven, The Netherlands, in September 2014. The 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2015, took place in Madrid, Spain, in September 2015.The total of 8 papers presented in this volume was carefully reviewed and selected from 18 submissions. They were organized in topical sections named: expressiveness of behavioral models; service-oriented systems, and behavioral types.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 188 pp. Englisch.
-
Web Services, Formal Methods, and Behavioral Types : 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers
Language: English
Published by Springer International Publishing, Springer International Publishing, 2016
ISBN 10: 3319336118 ISBN 13: 9783319336114
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the workshops WS-FM:FASOCC 2014 and WS-FM/BEAT 2015. The 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Services-Oriented and Cloud Computing, WS-FM 2014, took place in Eindhoven, The Netherlands, in September 2014. The 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2015, took place in Madrid, Spain, in September 2015. The total of 8 papers presented in this volume was carefully reviewed and selected from 18 submissions. They were organized in topical sections named: expressiveness of behavioral models; service-oriented systems, and behavioral types.
-
Condition: New.
-
-
Taschenbuch. Condition: Neu. Web Services, Formal Methods, and Behavioral Types | 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers | Thomas Hildebrandt (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvii | Englisch | 2016 | Springer | EAN 9783319336114 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques
Language: English
Published by Springer-Nature New York Inc, 2023
ISBN 10: 3031353544 ISBN 13: 9783031353543
Paperback. Condition: Brand New. 239 pages. 9.25x6.10x0.51 inches. In Stock.
-
Behavioural Types : From Theory to Tools
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
-
Behavioural Types : From Theory to Tools
Language: English
Published by River Publishers Okt 2024, 2024
ISBN 10: 8770044279 ISBN 13: 9788770044271
Taschenbuch. Condition: Neu. Neuware - Behavioural Types: from Theory to Tools presents programming languages and software tools produced by members of COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems, a European research network that was funded from October 2012 to October 2016.
-
Coordination Models and Languages: 27th IFIP WG 6.1 International Conference, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Tec
Language: English
Published by Springer-Nature New York Inc, 2025
ISBN 10: 3031955889 ISBN 13: 9783031955884
Paperback. Condition: Brand New. 350 pages. 9.25x6.10x9.21 inches. In Stock.
-
Behavioural Types : From Theory to Tools
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Behavioural Types: From Theory to Tools (River Publishers Series in Automation, Control, and Robotics)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 98.43
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
Formal Techniques for Distributed Objects, Components, and Systems
Language: English
Published by Springer Nature Switzerland, Springer Nature Switzerland Jun 2023, 2023
ISBN 10: 3031353544 ISBN 13: 9783031353543
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -This book constitutes the refereed proceedings of the 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023.The 13 regular papers and 3 short papers presented in this book were carefully reviewed and selected from 26 submissions. They cover topics such as: concurrent programming; security; probabilities, time and other resources; and model-based testing and petri nets.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.
