Mathematics of Program Construction : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings - Taschenbuch
2012, ISBN: 3642311121
[EAN: 9783642311123], Neubuch, [PU: Springer Berlin Heidelberg], EDV / THEORIE INFORMATIK MATHEMATIK; SOFTWARE-ENTW. SOFTWARE ENGINEERING; MATHEMATIK INFORMATIK, COMPUTER; PROGRAMMIERSPRA… Mehr…
| AbeBooks.de AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
Mathematics of Program Construction / 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings / Jeremy Gibbons (u. a.) / Taschenbuch / Lecture Notes in Computer Science - Taschenbuch
2012, ISBN: 9783642311123
[ED: Taschenbuch], [PU: Springer Berlin], This book constitutes the refereed proceedings of the 11th International Conference on Mathematics of Program Construction, MPC 2012, held in Mad… Mehr…
| booklooker.de |
Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings - neues Buch
2012, ISBN: 3642311121
2012 Kartoniert / Broschiert EDV / Theorie / Informatik / Mathematik, EDV / Theorie / Software-Entw. / Software Engineering, Mathematik / Informatik, Computer, Programmiersprachen, Disk… Mehr…
| Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Mathematics of Program Construction: 11th International Conference, Mpc 2012, Madrid, Spain, June 25-27, 2012, Proceedings - Taschenbuch
2012, ISBN: 3642311121
[EAN: 9783642311123], Neubuch, [PU: Springer-Verlag New York Inc], 2012 edition. 373 pages. 9.10x6.10x0.90 inches. In Stock., Books
| AbeBooks.de Revaluation Books, Exeter, United Kingdom [2134736] [Rating: 5 (von 5)] NEW BOOK. Versandkosten: EUR 11.69 Details... |
Mathematics of Program Construction: 11th International Conference, Mpc 2012, Madrid, Spain, June 25-27, 2012, Proceedings - Taschenbuch
2012, ISBN: 9783642311123
Springer-Verlag New York Inc, 2012. Paperback. New. 2012 edition. 373 pages. 9.10x6.10x0.90 inches., Springer-Verlag New York Inc, 2012, 6
| Biblio.co.uk |
Mathematics of Program Construction : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings - Taschenbuch
2012, ISBN: 3642311121
[EAN: 9783642311123], Neubuch, [PU: Springer Berlin Heidelberg], EDV / THEORIE INFORMATIK MATHEMATIK; SOFTWARE-ENTW. SOFTWARE ENGINEERING; MATHEMATIK INFORMATIK, COMPUTER; PROGRAMMIERSPRA… Mehr…
Gibbons, Jeremy:
Mathematics of Program Construction / 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings / Jeremy Gibbons (u. a.) / Taschenbuch / Lecture Notes in Computer Science - Taschenbuch2012, ISBN: 9783642311123
[ED: Taschenbuch], [PU: Springer Berlin], This book constitutes the refereed proceedings of the 11th International Conference on Mathematics of Program Construction, MPC 2012, held in Mad… Mehr…
Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings - neues Buch
2012
ISBN: 3642311121
2012 Kartoniert / Broschiert EDV / Theorie / Informatik / Mathematik, EDV / Theorie / Software-Entw. / Software Engineering, Mathematik / Informatik, Computer, Programmiersprachen, Disk… Mehr…
Bibliographische Daten des bestpassenden Buches
Detailangaben zum Buch - Mathematics of Program Construction
EAN (ISBN-13): 9783642311123
ISBN (ISBN-10): 3642311121
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2012
Herausgeber: Springer Berlin
362 Seiten
Gewicht: 0,556 kg
Sprache: Englisch
Buch in der Datenbank seit 2007-10-27T07:29:10+02:00 (Vienna)
Detailseite zuletzt geändert am 2024-01-22T04:04:31+01:00 (Vienna)
ISBN/EAN: 9783642311123
ISBN - alternative Schreibweisen:
3-642-31112-1, 978-3-642-31112-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: gibbo, nogue, gibbons, nogueira, gibb, gibbon, pablo, 2012
Titel des Buches: went spain, madrid, lecture notes mathematics, mathematics program construction, jeremy, international proceedings, science notes, conference
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-18
Berlin; Heidelberg; DE
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
X, 363 p. 57 illus.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Haskell; automated theorem proving; formal methods; graph algorithms; probabilistic logics; 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
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...