Order Total (1 Item Items):
Shipping Destination:
Refinement Semantics Languages Applications by Derrick John (19 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (19)
- 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 (3)
- 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 (6)
- Not Print on Demand (16)
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
Seller Location
Seller Rating
-
Condition: New.
-
Condition: New.
-
Hardback or Cased Book. Condition: New. Refinement: Semantics, Languages and Applications. Book.
-
Condition: New.
-
Condition: As New. Unread book in perfect condition.
-
Condition: As New. Unread book in perfect condition.
-
Refinement: Semantics, Languages and Applications
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 69.86
US$ 16.00 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Refinement: Semantics, Languages and Applications
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 69.86
US$ 16.00 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Refinement : Semantics, Languages and Applications
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 69.85
US$ 20.03 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Condition: New. pp. 269.
-
Refinement : Semantics, Languages and Applications
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 76.93
US$ 20.03 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Condition: New. 1st ed. 2018 edition NO-PA16APR2015-KAP.
-
US$ 93.49
US$ 16.69 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketHardcover. Condition: Brand New. 288 pages. 9.25x6.10x0.87 inches. In Stock.
-
Taschenbuch. Condition: Neu. Refinement | Semantics, Languages and Applications | John Derrick (u. a.) | Taschenbuch | xix | Englisch | 2019 | Springer | EAN 9783030064976 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is all about turning an abstract description (of a soft or hardware system) into something closer to implementation. It provides that essential bridge between higher level requirements and an implementation of those requirements.This book provides a comprehensive introduction to refinement for the researcher or graduate student. It introduces refinement in different semantic models, and shows how refinement is defined and used within some of the major formal methods and languages in use today.It (1) introduces the reader to different ways of looking at refinement, relating refinement to observations(2) shows how these are realised in different semantic models (3) shows how different formal methods use different models of refinement, and (4) how these models of refinement are related.
-
US$ 123.79
US$ 33.38 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: New. New. book.
-
Condition: New. Print on Demand pp. 269.
-
Condition: New. PRINT ON DEMAND pp. 269.
-
Condition: New. PRINT ON DEMAND.
