- 5 Ergebnisse
Kleinster Preis: € 50,20, größter Preis: € 57,71, Mittelwert: € 54,40
1
Mathematics of Program Construction : 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings - Janis Voigtländer
Bestellen
bei AbeBooks.de
€ 57,71
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Janis Voigtländer:

Mathematics of Program Construction : 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings - Taschenbuch

2015, ISBN: 3319197967

[EAN: 9783319197968], Neubuch, [PU: Springer International Publishing], EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; ALGEBRA; ALGORITHMICS; BIDIRECTIONALTRANSFORMATION; BISIMULATION… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
zuklappen (X)
2
Mathematics of Program Construction | 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings | Janis Voigtländer (u. a.) | Taschenbuch | Paperback | XIV - Voigtländer, Janis
Bestellen
bei booklooker.de
€ 50,20
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Voigtländer, Janis:

Mathematics of Program Construction | 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings | Janis Voigtländer (u. a.) | Taschenbuch | Paperback | XIV - Taschenbuch

2015, ISBN: 9783319197968

[ED: Taschenbuch], [PU: Springer International Publishing], This book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) preigu
zuklappen (X)
3
Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings Ralf Hinze Edi
Bestellen
bei BarnesandNoble.com
€ 54,99
Bestellen
Details und Versand
gesponserter Link
Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings Ralf Hinze Edi - neues Buch

2015

ISBN: 9783319197968

This book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Königswinter, Germany, in June/July 2015… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
zuklappen (X)
4
Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings - Voigtländer, Janis (Herausgeber); Hinze, Ralf (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 55,60
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Voigtländer, Janis (Herausgeber); Hinze, Ralf (Herausgeber):
Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings - neues Buch

2015, ISBN: 3319197967

2015 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Diskrete Mathematik, Compiler und Übersetzer, Software Engineering, Theoretische Informatik, Algebra;… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
5
Mathematics of Program Construction - Ralf Hinze; Janis Voigtländer
Bestellen
bei lehmanns.de
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Ralf Hinze; Janis Voigtländer:
Mathematics of Program Construction - Erstausgabe

2015, ISBN: 9783319197968

Taschenbuch

12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings, Buch, Softcover, [PU: Springer International Publishing], Springer International Publis… Mehr…

Versandkosten:Versand in 10-14 Tagen. (EUR 0.00)
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Mathematics of Program Construction
Autor:
Titel:
ISBN-Nummer:

9783319197968


This book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Königswinter, Germany, in June/July 2015. The 15 revised full papers presented together with two invited talks were carefully reviewed and selected from 20 submissions. The papers are about mathematical methods and tools put to use in program construction. They range from algorithmics to support for program construction in programming languages and systems. Some typical areas are type systems, program analysis and transformation, programming-language semantics, security, and program logics.

Detailangaben zum Buch - Mathematics of Program Construction


EAN (ISBN-13): 9783319197968
ISBN (ISBN-10): 3319197967
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2015
Herausgeber: Springer International Publishing

Buch in der Datenbank seit 2015-06-22T23:13:20+02:00 (Vienna)
Detailseite zuletzt geändert am 2024-03-24T15:17:34+01:00 (Vienna)
ISBN/EAN: 9783319197968

ISBN - alternative Schreibweisen:
3-319-19796-7, 978-3-319-19796-8
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: voigt, hinze, janis, hinz, voigtländer
Titel des Buches: voigtländer, lecture notes mathematics, mathematics program construction, proceedings construction

Daten vom Verlag:

Autor/in: Ralf Hinze; Janis Voigtländer
Titel: Lecture Notes in Computer Science; Programming and Software Engineering; Mathematics of Program Construction - 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings
Verlag: Springer; Springer International Publishing
323 Seiten
Erscheinungsjahr: 2015-06-12
Cham; CH
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XIV, 323 p. 44 illus.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Algebra; Algorithmics; Bidirectional transformation; Bisimulation; Concurrency; Formal methods; Formal semantics; Haskell; Program analysis; Program construction; Program derivation; Program logics; Program transformation; Program verification; Programming-language semantics; Regular expressions; Security; Systems verification; Temporal logic; Type systems; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Software Engineering; Discrete Mathematics in Computer Science; Compilers and Interpreters; Mathematical Applications in Computer Science; Software Engineering; Mathematik für Informatiker; Diskrete Mathematik; Compiler und Übersetzer; EA

Type Systems.- Program analysis and Transformation.- Programming-language semantics.- Security.- Program logics.
Includes supplementary material: sn.pub/extras

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9783030336356 Mathematics of Program Construction: 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings Graham Hutton Editor (Herausgegeben:Hutton, Graham)

< zum Archiv...