Kutter Philipp (16 results)
- Softcover
Seller: Bookman Orange, Orange, CA, U.S.A.Bookman Orange
Contact seller4-star sellerCondition: Used - Good
US$ 37.00
US$ 4.75 shippingShips within U.S.A.Quantity: 1 available
paperback. Condition: Good. Dust Jacket Condition: N/A. Some wear from use. Good used book.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 69.34
US$ 15.88 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Abstract State Machines : Theory and Applications : International Workshop, Asm 2000, Monte Verita, Switzerland, March 2000 : Proceedings
Gurevich, Yuri (EDT); Kutter, Philipp W. (EDT); Odersky, Martin (EDT); Thiele, Lothar (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 82.21
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Abstract State Machines : Theory and Applications : International Workshop, Asm 2000, Monte Verita, Switzerland, March 2000 : Proceedings
Gurevich, Yuri (EDT); Kutter, Philipp W. (EDT); Odersky, Martin (EDT); Thiele, Lothar (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 69.33
US$ 19.88 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 91.44
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 396.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 93.13
US$ 16.57 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 1st edition. 379 pages. 9.00x6.00x0.75 inches. In Stock.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 62.91
US$ 71.93 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The ASM 2000 workshop was held in the conference center of the Swiss Federal Institute of Technology (ETH) at Monte Verit a, Canton Ticino, March 19-24, 2000. The ASM formalism was proposed together with the thesis that it is suitable to model arbi…trary computer systems on arbitrary abstraction levels. ASMs have been successfully used to analyze and specify various hardware and software systems including numerous computer languages. The aim of the workshop was to bring together domain-experts, using ASMs as a practical speci cation method, and theorists working with ASMs and related methods. In addition the workshop served as a forum on theoretical and practical topics that relate to ASMs in a broad sense. Three tutorials including hands-on experience with tools were organized by U. Gl asser and G. del Castillo (on the topic Specifying Concurrent Systems with ASMs'), H. Russ and N. Shankar (on the topic A Tutorial Introduction to PVS'), M. Anlau , P.W. Kutter, and A. Pierantonio (on the topic Developing Domain Speci c Languages'). In response to the organization committee's call for papers, 30 papers were submitted, each of which was independently reviewed by four members of the program committee. This volume presents a selection of 12 of the refereed papers and two reports on industrial ASM application at Siemens AG and Microsoft Research, together with contributions based on the invited talks given by A.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 59.11
US$ 79.94 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Abstract State Machines - Theory and Applications | International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings | Yuri Gurevich (u. a.) | Taschenbuch | x | Englisch | 2000 | Springer | EAN 9783540679592 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergarte…nstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Abstract State Machines : Theory and Applications : International Workshop, Asm 2000, Monte Verita, Switzerland, March 2000 : Proceedings
Gurevich, Yuri (EDT); Kutter, Philipp W. (EDT); Odersky, Martin (EDT); Thiele, Lothar (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 125.58
US$ 19.88 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
US$ 114.67
US$ 33.13 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Abstract State Machines : Theory and Applications : International Workshop, Asm 2000, Monte Verita, Switzerland, March 2000 : Proceedings
Gurevich, Yuri (EDT); Kutter, Philipp W. (EDT); Odersky, Martin (EDT); Thiele, Lothar (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 145.15
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
- Print on Demand
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
US$ 91.66
US$ 8.61 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. Print on Demand pp. 396 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
- Softcover
- Print on Demand
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
US$ 96.63
US$ 11.36 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND pp. 396.
Abstract State Machines - Theory and Applications
Gurevich, Yuri|Kutter, Philipp W.|Odersky, Martin|Thiele, Lothar
- Softcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
US$ 56.89
US$ 55.94 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The ASM 2000 workshop was held in the conference center of the Swiss Federal Institute of Technology (ETH) at Monte Verit a, Canton Ticino, March 19-24, 2000. The ASM formalism was proposed to…gether with the thesis that it is suitable to model arbitrary com.
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 94.38
US$ 26.27 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The ASM 2000 workshop was held in the conference center of the Swiss Federal Institute of Technology (ETH) at Monte Verit a, Canton Ticino, March 19-24, 2000. The ASM formalism was proposed together with the thesis that it is suitab…le to model arbitrary computer systems on arbitrary abstraction levels. ASMs have been successfully used to analyze and specify various hardware and software systems including numerous computer languages. The aim of the workshop was to bring together domain-experts, using ASMs as a practical speci cation method, and theorists working with ASMs and related methods. In addition the workshop served as a forum on theoretical and practical topics that relate to ASMs in a broad sense. Three tutorials including hands-on experience with tools were organized by U. Gl asser and G. del Castillo (on the topic Specifying Concurrent Systems with ASMs'), H. Russ and N. Shankar (on the topic A Tutorial Introduction to PVS'), M. Anlau , P.W. Kutter, and A. Pierantonio (on the topic Developing Domain Speci c Languages'). In response to the organization committee's call for papers, 30 papers were submitted, each of which was independently reviewed by four members of the program committee. This volume presents a selection of 12 of the refereed papers and two reports on industrial ASM application at Siemens AG and Microsoft Research, together with contributions based on the invited talks given by A. 396 pp. Englisch.
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
US$ 62.91
US$ 68.52 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The ASM 2000 workshop was held in the conference center of the Swiss Federal Institute of Technology (ETH) at Monte Verit a, Canton Ticino, March 19-24, 2000. The ASM formalism was proposed together with the thesis that it is suitable t…o model arbitrary computer systems on arbitrary abstraction levels. ASMs have been successfully used to analyze and specify various hardware and software systems including numerous computer languages. The aim of the workshop was to bring together domain-experts, using ASMs as a practical speci cation method, and theorists working with ASMs and related methods. In addition the workshop served as a forum on theoretical and practical topics that relate to ASMs in a broad sense. Three tutorials including hands-on experience with tools were organized by U. Gl¿asser and G. del Castillo (on the topic Specifying Concurrent Systems with ASMs'), H. Russ ¿ and N. Shankar (on the topic A Tutorial Introduction to PVS'), M. Anlau , P.W. Kutter, and A. Pierantonio (on the topic Developing Domain Speci c Languages'). In response to the organization committee¿s call for papers, 30 papers were submitted, each of which was independently reviewed by four members of the program committee. This volume presents a selection of 12 of the refereed papers and two reports on industrial ASM application at Siemens AG and Microsoft Research, together with contributions based on the invited talks given by A.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 396 pp. Englisch.
