Langmaack Hans Edt (10 results)
Compositionality : The Significant Difference : International Symposium, Compos '97, Bad Malente, Germany, September 1997 : Revised Lectures
Compos 9 (1997 Malente, Germany); Langmaack, Hans (EDT); Pnueli, A.; Roever, W. P. De
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 114.03
£ 2.00 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Formal Methods for Industrial Applications : Specifying and Programming the Steam Boiler Control
Abrial, Jean-Raymond (EDT); Borger, E. (EDT); Langmaack, H. (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 114.10
£ 2.00 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
Formal Techniques in Real-time and Fault-tolerant Systems : Third International Symposium Organized Jointly With the Working Group Provably Correct Systems - Procos, Lübeck, Germany, September 19 - 23, 1994. Proceedings
Langmaack, Hans (EDT); Roever, Willem-Paul de (EDT); Vytopil, Jan (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 114.10
£ 2.00 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
Compositionality : The Significant Difference : International Symposium, Compos '97, Bad Malente, Germany, September 1997 : Revised Lectures
Compos 9 (1997 Malente, Germany); Langmaack, Hans (EDT); Pnueli, A.; Roever, W. P. De
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 101.56
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Formal Methods for Industrial Applications : Specifying and Programming the Steam Boiler Control
Abrial, Jean-Raymond (EDT); Borger, E. (EDT); Langmaack, H. (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 170.45
£ 2.00 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
Compositionality : The Significant Difference : International Symposium, Compos '97, Bad Malente, Germany, September 1997 : Revised Lectures
Compos 9 (1997 Malente, Germany); Langmaack, Hans (EDT); Pnueli, A.; Roever, W. P. De
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 159.99
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Compositionality : The Significant Difference : International Symposium, Compos '97, Bad Malente, Germany, September 1997 : Revised Lectures
Compos 9 (1997 Malente, Germany); Langmaack, Hans (EDT); Pnueli, A.; Roever, W. P. De
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 184.94
£ 2.00 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Formal Techniques in Real-time and Fault-tolerant Systems : Third International Symposium Organized Jointly With the Working Group Provably Correct Systems - Procos, Lübeck, Germany, September 19 - 23, 1994. Proceedings
Langmaack, Hans (EDT); Roever, Willem-Paul de (EDT); Vytopil, Jan (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 200.85
£ 2.00 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 58.91
£ 2.00 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 64.60
£ 2.00 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
