Order Total (1 Item Items):
Shipping Destination:
Behavioural Types Theory Tools (20 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (20)
- 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 (16)
- 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 (No further results match this refinement)
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 (2)
- Not Print on Demand (18)
Language (1)
Price
- Any Price
- Under US$ 25 (No further results match this refinement)
- US$ 25 to US$ 50 (No further results match this refinement)
- Over US$ 50
Free Shipping
- Free Shipping to U.S.A. (No further results match this refinement)
Seller Location
Seller Rating
-
Condition: As New. Unread book in perfect condition.
-
Condition: New.
-
Condition: New.
-
Behavioural Types : From Theory to Tools
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 55.48
US$ 20.12 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Condition: New.
-
Condition: New.
-
Behavioural Types : From Theory to Tools
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 65.66
US$ 20.12 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketCondition: New.
-
Condition: As New. Unread book in perfect condition.
-
Condition: New.
-
US$ 124.05
US$ 8.72 shipping
Ships from United Kingdom to U.S.A.Quantity: 3 available
Add to basketCondition: New. pp. 250.
-
Behavioural Types : From Theory to Tools
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 121.13
US$ 20.12 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: 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.
-
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
US$ 137.04
US$ 16.07 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
US$ 136.73
US$ 20.12 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: New.
-
-
US$ 182.55
US$ 16.77 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketHardcover. Condition: Brand New. 375 pages. 9.50x6.50x1.25 inches. In Stock.
-
US$ 186.52
US$ 33.54 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Behavioural Types: from Theory to Tools
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
US$ 139.21
US$ 7.87 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketHRD. 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.
-
Buch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Behavioural type systems in programming languages support the specification and verification of properties of programs beyond the traditional use of type systems to describe data processing. A major example of such a property is correctness of communication in concurrent and distributed systems, motivated by the importance of structured communication in modern software.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. As a survey of the most recent developments in the application of behavioural type systems, it is a valuable reference for researchers in the field, as well as an introduction to the area for graduate students and software developers.
