Astesiano e (34 risultati)
Algebraic Foundations of Systems Specification
Astesiano, Egidio (EDT); Kreowski, Hans-Jorg (EDT); Krieg-Bruckner, Bernd (EDT)
Lingua: Inglese
Editore: Springer, 2011
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 54,85
EUR 2,37 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: New.
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 58,14
EUR 2,37 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: 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)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 58,14
EUR 2,37 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,58
Spedizione gratuitaSpedito in U.S.A.Quantità: 5 disponibili
Paperback or Softback. Condizione: 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)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 62,10
EUR 2,37 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 62,78
EUR 2,69 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: 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)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 63,79
EUR 2,37 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 64,20
EUR 2,37 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: 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)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 64,46
EUR 2,37 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 64,58
EUR 2,37 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: 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)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 64,82
EUR 2,37 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: 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)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 66,67
EUR 2,37 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: 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)
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 62,03
EUR 18,00 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: 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)
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 62,10
EUR 18,00 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 62,14
EUR 18,00 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 62,15
EUR 18,00 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: 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)
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 69,05
EUR 18,00 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: 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)
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 69,11
EUR 18,00 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 69,12
EUR 18,00 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Brossura
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 62,43
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: 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.
- Brossura
Da: ralfs-buecherkiste, Herzfelde, MOL, Germaniaralfs-buecherkiste
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 13,00
EUR 105,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibile
Broschur. Condizione: Gut. 364 S. Computerwissenschaften Mathematik Mathematics Guter Zustand/ Good. Ex-Library. Brownish paper. ha1082115 Sprache: Englisch Gewicht in Gramm: 650.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 85,00
EUR 35,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: 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)
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 122,19
EUR 2,37 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Formal Description of Programming Concepts
Neuhold, Erich J. (EDT); Paul, Manfred (EDT); Apt, K. R. (CON); Astesiano, E. (CON); Bjorner, D. (CON)
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 124,15
EUR 18,00 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Algebraic Foundations of Systems Specification
Astesiano, Egidio (EDT); Kreowski, Hans-Jorg (EDT); Krieg-Bruckner, Bernd (EDT)
Lingua: Inglese
Editore: Springer, 2011
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 165,96
EUR 2,37 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: As New. Unread book in perfect condition.
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 154,46
EUR 18,00 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: 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];
- Rilegato
Da: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 171,01
EUR 6,23 spedizioneSpedito in U.S.A.Quantità: 1 disponibile
hardcover. Condizione: 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];
- Rilegato
Da: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 171,01
EUR 6,23 spedizioneSpedito in U.S.A.Quantità: 1 disponibile
hardcover. Condizione: New. In shrink wrap. Looks like an interesting title.
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 177,43
EUR 2,37 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Brossura
Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Molto buono
EUR 150,76
EUR 29,99 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibile
Paperback. Condizione: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.
