Astesiano E (34 results)
Algebraic Foundations of Systems Specification
Astesiano, Egidio (EDT); Kreowski, Hans-Jorg (EDT); Krieg-Bruckner, Bernd (EDT)
Language: English
Published by Springer, 2011
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 45.79
£ 1.96 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 48.26
£ 1.96 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Fundamental Approaches to Software Engineering : First International Conference, Fase'98 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps'98, Lisbon, Portugal
Astesiano, Egidio (EDT); European Conference on Theory and Practice of Software (1998 : Lisbon, Portugal) (COR); ETAPS 98 (1998 : Lisbon, Portugal) (COR)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 48.26
£ 1.96 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores
Contact seller5-star sellerCondition: New
£ 50.29
Free ShippingShips within U.S.A.Quantity: 5 available
Paperback or Softback. Condition: New. Caap '81: Trees in Algebra and Programming /6th Colloquium, Genoa, March 5-7, 1981. Proceedings. Book.
Fundamental Approaches to Software Engineering : First International Conference, Fase'98 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps'98, Lisbon, Portugal
Astesiano, Egidio (EDT); European Conference on Theory and Practice of Software (1998 : Lisbon, Portugal) (COR); ETAPS 98 (1998 : Lisbon, Portugal) (COR)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 51.54
£ 1.96 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
£ 52.11
£ 2.23 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Scientific Engineering of Distributed Java Applications : International Workshop, Fidji 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003 : Revised Papers
Guelfi, Nicolas (EDT); Astesiano, Egidio (EDT); Reggio, Gianna (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 52.95
£ 1.96 shippingShips within U.S.A.Quantity: Over 20 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
£ 53.29
£ 1.96 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Scientific Engineering of Distributed Java Applications : International Workshop, Fidji 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003 : Revised Papers
Guelfi, Nicolas (EDT); Astesiano, Egidio (EDT); Reggio, Gianna (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 53.39
£ 1.96 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 53.48
£ 1.96 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Recent Trends in Data Type Specification : 10th Workshop on Specification of Abstract Data Types Joint With the 5th Compass Workshop, S. Margherita, Italy, May 30-June 3, 1994 : Selected papers
Astesiano, Egidio (EDT); Reggio, Gianna (EDT); Tarlecki, Andrzej (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 53.81
£ 1.96 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
Recent Trends in Data Type Specification : 10th Workshop on Specification of Abstract Data Types Joint With the 5th Compass Workshop, S. Margherita, Italy, May 30-June 3, 1994 : Selected papers
Astesiano, Egidio (EDT); Reggio, Gianna (EDT); Tarlecki, Andrzej (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 55.55
£ 1.96 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 50.28
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 50.29
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Scientific Engineering of Distributed Java Applications : International Workshop, Fidji 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003 : Revised Papers
Guelfi, Nicolas (EDT); Astesiano, Egidio (EDT); Reggio, Gianna (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 50.19
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Fundamental Approaches to Software Engineering : First International Conference, Fase'98 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps'98, Lisbon, Portugal
Astesiano, Egidio (EDT); European Conference on Theory and Practice of Software (1998 : Lisbon, Portugal) (COR); ETAPS 98 (1998 : Lisbon, Portugal) (COR)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 50.25
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Fundamental Approaches to Software Engineering : First International Conference, Fase'98 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps'98, Lisbon, Portugal
Astesiano, Egidio (EDT); European Conference on Theory and Practice of Software (1998 : Lisbon, Portugal) (COR); ETAPS 98 (1998 : Lisbon, Portugal) (COR)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 55.44
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 56.10
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Scientific Engineering of Distributed Java Applications : International Workshop, Fidji 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003 : Revised Papers
Guelfi, Nicolas (EDT); Astesiano, Egidio (EDT); Reggio, Gianna (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 55.92
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
£ 53.69
£ 40.90 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New. Algebraic theory of parameterized specifications with requirements.- A modal characterisation of observable machine-behaviour.- Trees as data and file structures.- Infinitary relations.- Full approximability of a class of problems over power sets.- How to c.
- Softcover
Seller: ralfs-buecherkiste, Herzfelde, MOL, Germanyralfs-buecherkiste
Contact seller5-star sellerCondition: Used - Very good
£ 11.18
£ 87.67 shippingShips from Germany to U.S.A.Quantity: 1 available
Broschur. Condition: Gut. 364 S. Computerwissenschaften Mathematik Mathematics Guter Zustand/ Good. Ex-Library. Brownish paper. ha1082115 Sprache: Englisch Gewicht in Gramm: 650.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 73.10
£ 29.22 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. Neuware - Algebraic theory of parameterized specifications with requirements.- A modal characterisation of observable machine-behaviour.- Trees as data and file structures.- Infinitary relations.- Full approximability of a class of problems over power sets.- How to compute generators for the intersection of subgroups in free groups.- Abstract data types and rewriting systems : Application to the programming of Algebraic Abstract Data Types in PROLOG.- Top-down tree-transducers for infinite trees I.- Easy solutions are hard to find.- Une semantique pour les arbres non deterministes.- On the algebraic specification of nondeterministic programming languages.- Applied tree enumerations.- Evaluation d'arbre pour un calcul formel (application a l'enumeration de proteines).- On pushdown tree automata.- Initial and terminal algebra semantics of parameterized abstract data type specifications with inequalities.- Calcul du rang des -arbres infinis regulers.- A class of tree-like UNION-FIND data structures and the nonlinearity.- Grammars without erasing rules. the OI case.- Proprietes de cloture d'une extension de transducteurs d'arbres deterministes.- Certain algorithms for subgraph isomorphism problems.- A # P-complete problem over arithmetical trees.- Trees in Kripke models and in an intuitionistic refutation system.- Efficient optimization of monotonic functions on trees.- Differents types de derivations infinies dans les grammaires algebriques d'arbres.- Discriminability of infinite sets of terms in the D -models of the -calculus.…
Formal Description of Programming Concepts
Neuhold, Erich J. (EDT); Paul, Manfred (EDT); Apt, K. R. (CON); Astesiano, E. (CON); Bjorner, D. (CON)
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 101.42
£ 1.96 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Formal Description of Programming Concepts
Neuhold, Erich J. (EDT); Paul, Manfred (EDT); Apt, K. R. (CON); Astesiano, E. (CON); Bjorner, D. (CON)
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 100.14
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 114.99
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 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
£ 136.32
£ 1.96 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Formal Description of Programming Concepts (IFIP State-of-the-Art Reports)
Neuhold, Erich J. [Editor]; Paul, Manfred [Editor]; Apt, K.R. [Contributor]; Astesiano, E. [Contributor]; Bjorner, D. [Contributor]; Broy, M. [Contributor]; Cardelli, L. [Contributor]; Mosses, P.D. [Contributor]; Olderog, E.-R. [Contributor]; Wirsing, M. [Contributor];
- Hardcover
Seller: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd
Contact seller5-star sellerCondition: New
£ 141.95
£ 5.17 shippingShips within U.S.A.Quantity: 1 available
hardcover. Condition: New. In shrink wrap. Looks like an interesting title.
Formal Description of Programming Concepts (IFIP State-of-the-Art Reports)
Neuhold, Erich J. [Editor]; Paul, Manfred [Editor]; Apt, K.R. [Contributor]; Astesiano, E. [Contributor]; Bjorner, D. [Contributor]; Broy, M. [Contributor]; Cardelli, L. [Contributor]; Mosses, P.D. [Contributor]; Olderog, E.-R. [Contributor]; Wirsing, M. [Contributor];
- Hardcover
Seller: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd
Contact seller5-star sellerCondition: New
£ 141.95
£ 5.17 shippingShips within U.S.A.Quantity: 1 available
hardcover. Condition: New. In shrink wrap. Looks like an interesting title.
Algebraic Foundations of Systems Specification
Astesiano, Egidio (EDT); Kreowski, Hans-Jorg (EDT); Krieg-Bruckner, Bernd (EDT)
Language: English
Published by Springer, 2011
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 146.94
£ 1.96 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - Very good
£ 122.00
£ 25.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. Used Very Good -Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.
