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 10,44

11 Neuf

De EUR 47,01

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: non disponible
Personne responsable: CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

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 . (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 : Very Good. Standard-sized. N� de r�f. du vendeur mon0000016030

Contacter le vendeur

Acheter D'occasion

EUR 10,44

Frais de port : EUR 5,21

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 . (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 12,16

Frais de port : EUR 6,07

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 . 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

Frais de port : EUR 14,95

De 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 . 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 7,47

Frais de port : EUR 45

De 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

Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. In. N� de r�f. du vendeur ria9783540151982_new

Contacter le vendeur

Acheter neuf

EUR 47,01

Frais de port : EUR 13,63

De Royaume-Uni vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

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

Neuf Couverture souple

Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur ABLIING23Mar3113020160515

Contacter le vendeur

Acheter neuf

EUR 58,29

Frais de port : EUR 3,46

Vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

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 PF

Vendeur : Chiron Media, Wallingford, Royaume-Uni

�valuation du vendeur 4 sur 5 �toiles

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

Contacter le vendeur

Acheter neuf

EUR 45,11

Frais de port : EUR 17,62

De 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

Frais de port : EUR 23

De 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 Couverture souple

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

Frais de port : EUR 48,99

De 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

Frais de port : EUR 60

De Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

There are 6 autres exemplaires de ce livre sont disponibles

Afficher tous les r�sultats pour ce livre