Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 - Couverture souple

Ehrig, Hartmut ; Thatcher, James ; Nivat, Maurice ; Floyd, Christiane

9783540151982: Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985

Couverture souple

ISBN 10 : 3540151982 ISBN 13 : 9783540151982

Editeur : Springer, 2008

Afficher les exemplaires de cette �dition comportant l?ISBN

5 D'occasion

De EUR 16,46

6 Neuf

De EUR 45,46

No Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985: Colloquium on Trees in Algebra and Programming (Caap'85) Volume 1 Read a customer review or write one .

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: Springer
Date d'�dition: 2008
Langue: anglais
ISBN 10: 3540151982
ISBN 13: 9783540151982
Reliure: Broch�
Nombre de pages: 436
Coordonn�es du fabricant: ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Allemagne

Acheter D'occasion

�tat : Satisfaisant

Ex-library paperback in good condition...

Afficher cet article

EUR 16,46

Exp�dition �EUR 6,06
Exp�dition nationale�: Etats-Unis

Ajouter au panier

Acheter neuf

Afficher cet article

EUR 45,46

Exp�dition �EUR 17,76
Exp�dition depuis Royaume-Uni vers Etats-Unis

Ajouter au panier

R�sultats de recherche pour Mathematical Foundations of Software Development. Proceeding...

Image d'archives

Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development . (CAAP'85) (Lecture Notes in Computer Science)

Ehrig, Hartmut [Editor]; Floyd, Christiane [Editor]; Nivat, Maurice [Editor]; Thatcher, James [Editor];

Edit� par Springer, 1986

ISBN 10 : 3540151982 ISBN 13 : 9783540151982

Ancien ou d'occasion Paperback

Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Good. Ex-library paperback in good condition with the usual markings and attachments. Pages tanned from age. Text block clean and unmarked. Tight binding. N� de r�f. du vendeur UTD1423644

Contacter le vendeur

Acheter D'occasion

EUR 16,46

Exp�dition �EUR 6,06
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development . Notes in Computer Science, 185, Band 185)

Ehrig, Hartmut, James Thatcher Maurice Nivat u. a.:

Edit� par Springer, 2008

ISBN 10 : 3540151982 ISBN 13 : 9783540151982

Ancien ou d'occasion Couverture souple

Vendeur : Roland Antiquariat UG haftungsbeschr�nkt, Weinheim, Allemagne

�valuation du vendeur 5 sur 5 �toiles

1985. 436 p. Good condition. Reading pages are slightly yellowed, but they are very clean and without marks. Minimal traces of storage or use. Otherwise very good exemplar. 9783540151982 Sprache: Englisch Gewicht in Gramm: 658 Softcover: 15.5 x 2.5 x 23.5 cm. N� de r�f. du vendeur 236462

Contacter le vendeur

Acheter D'occasion

EUR 27,40

Exp�dition �EUR 14,95
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development . (Lecture Notes in Computer Science (185))

Ehrig, Hartmut; Thatcher, James; Nivat, Maurice; Floyd, Christiane

Edit� par Springer, 1985

ISBN 10 : 3540151982 ISBN 13 : 9783540151982

Ancien ou d'occasion Paperback

Vendeur : Midtown Scholar Bookstore, Harrisburg, PA, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Good. number 185 Good paperback, bumped/creased with shelfwear; may have previous owner's name inside. Standard-sized. N� de r�f. du vendeur mon0000324551

Contacter le vendeur

Acheter D'occasion

EUR 39,66

Exp�dition �EUR 5,20
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development . Notes in Computer Science, 185, Band 185)

Ehrig, Hartmut, James Thatcher Maurice Nivat u. a.:

Edit� par Springer, 2008

ISBN 10 : 3540151982 ISBN 13 : 9783540151982

Ancien ou d'occasion Couverture souple

Vendeur : Gerald Wollermann, Bad Vilbel, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Etat : Gut. 1985. 436 Seiten Gedunkelt. Innerhalb Deutschlands Versand je nach Gr��e/Gewicht als Gro�brief bzw. B�cher- und Warensendung mit der Post oder per DHL. Rechnung mit MwSt.-Ausweis liegt jeder Lieferung bei. Sprache: Englisch Gewicht in Gramm: 658 Taschenbuch, Gr��e: 15.5 x 2.5 x 23.5 cm. N� de r�f. du vendeur 810249

Contacter le vendeur

Acheter D'occasion

EUR 8,45

Exp�dition �EUR 45
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TA

Ehrig, Hartmut

Edit� par Springer 1985-03, 1985

ISBN 10 : 3540151982 ISBN 13 : 9783540151982

Neuf

Vendeur : Chiron Media, Wallingford, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

PF. Etat : New. N� de r�f. du vendeur 6666-IUK-9783540151982

Contacter le vendeur

Acheter neuf

EUR 45,46

Exp�dition �EUR 17,76
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 10 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985

Hartmut Ehrig

Edit� par Springer Berlin Heidelberg Mrz 1985, 1985

ISBN 10 : 3540151982 ISBN 13 : 9783540151982

Neuf Taschenbuch

impression � la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Specification and top down design of distributed systems.- Specification languages for distributed systems.- Semantically based programming tools (Summary).- From function level semantics to program transformation and optimization.- Inductively defined functions.- Three approaches to type structure.- On the maximum size of random trees.- Fast searching in a real algebraic manifold with applications to geometric complexity.- Typed categorical combinatory logic.- A path ordering for proving termination of term rewriting systems.- A rewrite rule based approach for synthesizing abstract data types.- �Delayability� in proofs of strong normalizability in the typed lambda Calculus.- Bisimulations and abstraction homomorphisms.- A metric characterization of fair computations in CCS.- A complete modal proof system for a subset of SCCS.- Amalgamation of graph transformations with applications to synchronization.- Decompilation of control structures by means of graph transformations.- Synchronized bottom-up tree automata and L-systems.- On observational equivalence and algebraic specification.- Parameter preserving data type specifications.- On the parameterized algebraic specification of concurrent systems.- The semantics of shared submodules specifications.- Why Horn formulas matter in computer science: Initial structures and generic examples.- On the implementation of abstract data types by programming language constructs.- A LISP compiler for FP language and its proof via algebraic semantics. 436 pp. Englisch. N� de r�f. du vendeur 9783540151982

Contacter le vendeur

Acheter neuf

EUR 42,79

Exp�dition �EUR 23
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985

Ehrig, Hartmut|Floyd, Christiane|Nivat, Maurice|Thatcher, James

Edit� par Springer Berlin Heidelberg, 1985

ISBN 10 : 3540151982 ISBN 13 : 9783540151982

Neuf

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 4 sur 5 �toiles

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Specification and top down design of distributed systems.- Specification languages for distributed systems.- Semantically based programming tools (Summary).- From function level semantics to program transformation and optimization.- Inductively defined func. N� de r�f. du vendeur 4882517

Contacter le vendeur

Acheter neuf

EUR 39,60

Exp�dition �EUR 48,99
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985

Hartmut Ehrig

Edit� par Springer Berlin Heidelberg, J.B. Metzler M�r 1985, 1985

ISBN 10 : 3540151982 ISBN 13 : 9783540151982

Neuf Taschenbuch

impression � la demande

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Specification and top down design of distributed systems.- Specification languages for distributed systems.- Semantically based programming tools (Summary).- From function level semantics to program transformation and optimization.- Inductively defined functions.- Three approaches to type structure.- On the maximum size of random trees.- Fast searching in a real algebraic manifold with applications to geometric complexity.- Typed categorical combinatory logic.- A path ordering for proving termination of term rewriting systems.- A rewrite rule based approach for synthesizing abstract data types.- �Delayability� in proofs of strong normalizability in the typed lambda Calculus.- Bisimulations and abstraction homomorphisms.- A metric characterization of fair computations in CCS.- A complete modal proof system for a subset of SCCS.- Amalgamation of graph transformations with applications to synchronization.- Decompilation of control structures by means of graph transformations.- Synchronized bottom-up tree automata and L-systems.- On observational equivalence and algebraic specification.- Parameter preserving data type specifications.- On the parameterized algebraic specification of concurrent systems.- The semantics of shared submodules specifications.- Why Horn formulas matter in computer science: Initial structures and generic examples.- On the implementation of abstract data types by programming language constructs.- A LISP compiler for FP language and its proof via algebraic semantics.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 436 pp. Englisch. N� de r�f. du vendeur 9783540151982

Contacter le vendeur

Acheter neuf

EUR 42,79

Exp�dition �EUR 60
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 : Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85)

Hartmut Ehrig

Edit� par Springer, Springer, 1985

ISBN 10 : 3540151982 ISBN 13 : 9783540151982

Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Specification and top down design of distributed systems.- Specification languages for distributed systems.- Semantically based programming tools (Summary).- From function level semantics to program transformation and optimization.- Inductively defined functions.- Three approaches to type structure.- On the maximum size of random trees.- Fast searching in a real algebraic manifold with applications to geometric complexity.- Typed categorical combinatory logic.- A path ordering for proving termination of term rewriting systems.- A rewrite rule based approach for synthesizing abstract data types.- 'Delayability' in proofs of strong normalizability in the typed lambda Calculus.- Bisimulations and abstraction homomorphisms.- A metric characterization of fair computations in CCS.- A complete modal proof system for a subset of SCCS.- Amalgamation of graph transformations with applications to synchronization.- Decompilation of control structures by means of graph transformations.- Synchronized bottom-up tree automata and L-systems.- On observational equivalence and algebraic specification.- Parameter preserving data type specifications.- On the parameterized algebraic specification of concurrent systems.- The semantics of shared submodules specifications.- Why Horn formulas matter in computer science: Initial structures and generic examples.- On the implementation of abstract data types by programming language constructs.- A LISP compiler for FP language and its proof via algebraic semantics. N� de r�f. du vendeur 9783540151982

Contacter le vendeur

Acheter neuf

EUR 42,79

Exp�dition �EUR 63,29
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 | Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85)

Hartmut Ehrig (u. a.)

Edit� par Springer, 1985

ISBN 10 : 3540151982 ISBN 13 : 9783540151982

Neuf Taschenbuch

Vendeur : preigu, Osnabr�ck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 | Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85) | Hartmut Ehrig (u. a.) | Taschenbuch | xviii | Englisch | 1985 | Springer | EAN 9783540151982 | Verantwortliche Person f�r die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. N� de r�f. du vendeur 102151962

Contacter le vendeur

Acheter neuf

EUR 41,15

Exp�dition �EUR 70
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 5 disponible(s)

Ajouter au panier

There are 1 autres exemplaires de ce livre sont disponibles

Afficher tous les r�sultats pour ce livre