2012, ISBN: 9783642311130
This book constitutes the refereed proceedings of the 11th International Conference on Mathematics of Program Construction, MPC 2012, held in Madrid, Spain, in June 2012. The 13 revised f… Mehr…
Springer.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
2012, ISBN: 9783642311130
This book constitutes the refereed proceedings of the 11th International Conference on Mathematics of Program Construction, MPC 2012, held in Madrid, Spain, in June 2012. The 13 revised f… Mehr…
ebooks.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783642311130
Computer Science; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Software Engineering; Discrete Mathematics in Computer Science; Programming Languages, Compiler… Mehr…
Springer.com Versandkosten:zzgl. Versandkosten. Details... |
2012, ISBN: 9783642311130
11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg, 2012
lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 9.95) Details... |
Mathematics of Program Construction : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings - neues Buch
2012, ISBN: 9783642311130
; PDF; Scientific, Technical and Medical > Mathematics > Discrete mathematics, Springer Japan
hive.co.uk No. 9783642311130. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
2012, ISBN: 9783642311130
This book constitutes the refereed proceedings of the 11th International Conference on Mathematics of Program Construction, MPC 2012, held in Madrid, Spain, in June 2012. The 13 revised f… Mehr…
2012, ISBN: 9783642311130
This book constitutes the refereed proceedings of the 11th International Conference on Mathematics of Program Construction, MPC 2012, held in Madrid, Spain, in June 2012. The 13 revised f… Mehr…
ISBN: 9783642311130
Computer Science; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Software Engineering; Discrete Mathematics in Computer Science; Programming Languages, Compiler… Mehr…
2012, ISBN: 9783642311130
11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg, 2012
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Mathematics of Program Construction
EAN (ISBN-13): 9783642311130
Erscheinungsjahr: 2012
Herausgeber: Springer Berlin Heidelberg
Buch in der Datenbank seit 2017-04-18T23:34:18+02:00 (Vienna)
Detailseite zuletzt geändert am 2024-01-22T04:04:36+01:00 (Vienna)
ISBN/EAN: 9783642311130
ISBN - alternative Schreibweisen:
978-3-642-31113-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: pablo, kanematsu
Titel des Buches: spain madrid, mathematics program construction, proceedings construction
Daten vom Verlag:
Autor/in: Jeremy Gibbons; Pablo Nogueira
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Mathematics of Program Construction - 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings
Verlag: Springer; Springer Berlin
363 Seiten
Erscheinungsjahr: 2012-06-21
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
X, 363 p. 57 illus.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Haskell; automated theorem proving; formal methods; graph algorithms; probabilistic logics; C; 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; Computer Science; Software Engineering; Mathematik für Informatiker; Diskrete Mathematik; Compiler und Übersetzer; BC
This book constitutes the refereed proceedings of the 11th International Conference on Mathematics of Program Construction, MPC 2012, held in Madrid, Spain, in June 2012. The 13 revised full papers presented together with three invited talks were carefully reviewed and selected from 27 submissions. The papers are organized in topical sections on security and information flow, synchronous and real-time systems, algorithms and games, program calculi, tool support, algebras and datatypes, and categorical functional programming.State-of-the-art research Fast-track conference proceedings Unique visibility
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)
- 9783030336356 Mathematics of Program Construction: 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings Graham Hutton Editor (Herausgegeben:Hutton, Graham)
- 9780387773544 Payment for Environmental Services in Agricultural Landscapes (Leslie Lipper; Takumi Sakuyama; Randy Stringer)
- 9780387729718 Payment for Environmental Services in Agricultural Landscapes (David Zilberman; Leslie Lipper; Takumi Sakuyama; Leslie Lipper; Takumi Sakuyama; Randy Stringer; Randy Stringer; David Zilberman; David Zilberman.)
- 9780387566252 Payment for Environmental Services in Agricultural Landscapes (Richard S. Bird, C. C. Morgan)
- 9780387729695 Payment for Environmental Services in Agricultural Landscapes (Leslie Lipper; Takumi Sakuyama; Randy Stringer; David Zilberman)
- 9783877296905 Zur Kommunion alle guten Wünsche (Lipper, L.; Sakuyama, T.; Stringer, R.; Zilberman, D.,)
- Mathematics of Program Construction: 13th International Conference, MPC 2019, Porto, Portugal, October 7?9, 2019, Proceedings (Lecture Notes in Computer Science Book 11825) (English Edition) (Tarmo Uustalu)
< zum Archiv...