Mathematics of Program Construction: 12th International Conference, MPC 2015, Kï¿Â½nigswinter, Germany, June 29-July 1, 2015. Proceedings Hinz
6 Angebote vergleichen
Bester Preis: € 59,92 (vom 02.10.2015)1
Symbolbild
Mathematics of Program Construction (2015)
DE PB NW
ISBN: 9783319197968 bzw. 3319197967, in Deutsch, Springer-Verlag Gmbh Jun 2015, Taschenbuch, neu.
Von Händler/Antiquariat, Buchhandlung - Bides GbR [52676528], Dresden, Germany.
Neuware - 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. 323 pp. Englisch.
Neuware - 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. 323 pp. Englisch.
2
Symbolbild
Mathematics of Program Construction (2015)
DE PB NW
ISBN: 9783319197968 bzw. 3319197967, in Deutsch, Springer-Verlag Gmbh Jun 2015, Taschenbuch, neu.
Von Händler/Antiquariat, sparbuchladen [52968077], Göttingen, Germany.
Neuware - 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. 323 pp. Englisch.
Neuware - 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. 323 pp. Englisch.
3
Mathematics of Program Construction: 12th International Conference, MPC 2015, Kï¿Â½nigswinter, Germany, June 29-July 1, 2015. Proceedings Ralf Hinz (2015)
~EN PB NW
ISBN: 9783319197968 bzw. 3319197967, vermutlich in Englisch, Springer International Publishing, Taschenbuch, neu.
Lieferung aus: Vereinigte Staaten von Amerika, In Stock, plus shipping.
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.
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.
4
Symbolbild
Mathematics of Program Construction (2015)
DE NW
ISBN: 9783319197968 bzw. 3319197967, in Deutsch, Springer-Verlag GmbH, neu.
Von Händler/Antiquariat, Books2Anywhere [190245], Fairford, GLOS, United Kingdom.
New Book. Delivered from our UK warehouse in 3 to 5 business days.THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
New Book. Delivered from our UK warehouse in 3 to 5 business days.THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
5
Symbolbild
Mathematics of Program Construction. 12th International Conference, MPC 2015, Königswinter, Germany, June 29-July 1, 2015. Proceedings (2015)
DE PB NW
ISBN: 9783319197968 bzw. 3319197967, in Deutsch, Springer, Taschenbuch, neu.
Von Händler/Antiquariat, Herb Tandree Philosophy Books [17426], Stroud, GLOS, United Kingdom.
9783319197968 Paperback, This listing is a new book, a title currently in-print which we order directly and immediately from the publisher.
9783319197968 Paperback, This listing is a new book, a title currently in-print which we order directly and immediately from the publisher.
6
Symbolbild
Mathematics of Program Construction: 12th International Conference, Mpc 2015, Proceedings (2015)
DE PB NW
ISBN: 9783319197968 bzw. 3319197967, in Deutsch, Springer-Verlag New York Inc, Taschenbuch, neu.
Von Händler/Antiquariat, Revaluation Books [2134736], Exeter, United Kingdom.
344 pages. 9.25x6.10 inches. In Stock.
344 pages. 9.25x6.10 inches. In Stock.
Lade…