Verwandte Artikel zu Mathematical Foundations of Software Development. Proceeding...

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

 
9783540151982: Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development ... 185 (Lecture Notes in Computer Science)
Softcover
ISBN 10: 3540151982 ISBN 13: 9783540151982
Verlag: Springer, 1985
Alle Exemplare der Ausgabe mit dieser ISBN anzeigen:
 
 

Neu kaufen

Mehr zu diesem Angebot erfahren
9783540151982: Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development ... 185 (Lecture Notes in Computer Science)
EUR 49,29

Währung umrechnen

Versand: EUR 11,65
Von Vereinigtes Königreich nach USA

Versandziele, Kosten & Dauer

In den Warenkorb

Beste Suchergebnisse bei AbeBooks

Beispielbild für diese ISBN

Hartmut Ehrig
Verlag: Springer (1985)
ISBN 10: 3540151982 ISBN 13: 9783540151982
Neu Softcover Anzahl: > 20
Print-on-Demand
Anbieter:
Ria Christie Collections
(Uxbridge, Vereinigtes Königreich)
Bewertung
Bewertung: 5 Sterne, Learn more about seller ratings

Buchbeschreibung Zustand: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Bestandsnummer des Verkäufers ria9783540151982_lsuk

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 49,29
Währung umrechnen

In den Warenkorb

Versand: EUR 11,65
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer
Beispielbild für diese ISBN

Ehrig, Hartmut
Verlag: Springer 1985-03 (1985)
ISBN 10: 3540151982 ISBN 13: 9783540151982
Neu PF Anzahl: 10
Anbieter:
Chiron Media
(Wallingford, Vereinigtes Königreich)
Bewertung
Bewertung: 5 Sterne, Learn more about seller ratings

Buchbeschreibung PF. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783540151982

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 44,69
Währung umrechnen

In den Warenkorb

Versand: EUR 17,50
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer
Foto des Verkäufers

Ehrig, Hartmut", "Thatcher, James", "Nivat, Maurice", "Floyd, Christiane"
Verlag: Springer (1985)
ISBN 10: 3540151982 ISBN 13: 9783540151982
Neu Soft Cover Anzahl: 10
Anbieter:
booksXpress
(Bayonne, NJ, USA)
Bewertung
Bewertung: 4 Sterne, Learn more about seller ratings

Buchbeschreibung Soft Cover. Zustand: new. Bestandsnummer des Verkäufers 9783540151982

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 62,73
Währung umrechnen

In den Warenkorb

Versand: Gratis
Innerhalb der USA
Versandziele, Kosten & Dauer
Foto des Verkäufers

Hartmut Ehrig
ISBN 10: 3540151982 ISBN 13: 9783540151982
Neu Taschenbuch Anzahl: 2
Print-on-Demand
Anbieter:
BuchWeltWeit Ludwig Meier e.K.
(Bergisch Gladbach, Deutschland)
Bewertung
Bewertung: 4 Sterne, Learn more about seller ratings

Buchbeschreibung Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9783540151982

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 42,79
Währung umrechnen

In den Warenkorb

Versand: EUR 23,00
Von Deutschland nach USA
Versandziele, Kosten & Dauer
Beispielbild für diese ISBN

Verlag: Springer (1985)
ISBN 10: 3540151982 ISBN 13: 9783540151982
Neu Softcover Anzahl: > 20
Anbieter:
Lucky's Textbooks
(Dallas, TX, USA)
Bewertung
Bewertung: 5 Sterne, Learn more about seller ratings

Buchbeschreibung Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar3113020160515

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 62,51
Währung umrechnen

In den Warenkorb

Versand: EUR 3,73
Innerhalb der USA
Versandziele, Kosten & Dauer
Foto des Verkäufers

Hartmut Ehrig
ISBN 10: 3540151982 ISBN 13: 9783540151982
Neu Taschenbuch Anzahl: 1
Anbieter:
AHA-BUCH GmbH
(Einbeck, Deutschland)
Bewertung
Bewertung: 5 Sterne, Learn more about seller ratings

Buchbeschreibung Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9783540151982

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 48,64
Währung umrechnen

In den Warenkorb

Versand: EUR 32,99
Von Deutschland nach USA
Versandziele, Kosten & Dauer
Foto des Verkäufers

Ehrig, Hartmut|Floyd, Christiane|Nivat, Maurice|Thatcher, James
ISBN 10: 3540151982 ISBN 13: 9783540151982
Neu Softcover Anzahl: > 20
Print-on-Demand
Anbieter:
moluna
(Greven, Deutschland)
Bewertung
Bewertung: 4 Sterne, Learn more about seller ratings

Buchbeschreibung Zustand: 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. Bestandsnummer des Verkäufers 4882517

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 39,60
Währung umrechnen

In den Warenkorb

Versand: EUR 48,99
Von Deutschland nach USA
Versandziele, Kosten & Dauer
Beispielbild für diese ISBN

Verlag: Springer (1985)
ISBN 10: 3540151982 ISBN 13: 9783540151982
Neu Softcover Anzahl: 4
Anbieter:
Books Puddle
(New York, NY, USA)
Bewertung
Bewertung: 4 Sterne, Learn more about seller ratings

Buchbeschreibung Zustand: New. pp. 436. Bestandsnummer des Verkäufers 263066584

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 100,34
Währung umrechnen

In den Warenkorb

Versand: EUR 3,73
Innerhalb der USA
Versandziele, Kosten & Dauer
Beispielbild für diese ISBN

Verlag: Springer (1985)
ISBN 10: 3540151982 ISBN 13: 9783540151982
Neu Softcover Anzahl: 4
Print-on-Demand
Anbieter:
Majestic Books
(Hounslow, Vereinigtes Königreich)
Bewertung
Bewertung: 5 Sterne, Learn more about seller ratings

Buchbeschreibung Zustand: New. Print on Demand pp. 436 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Bestandsnummer des Verkäufers 5862663

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 108,81
Währung umrechnen

In den Warenkorb

Versand: EUR 7,59
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer