- 5 Ergebnisse
Kleinster Preis: € 51,16, größter Preis: € 74,99, Mittelwert: € 58,50
1
Mathematics of Program Construction - Jeremy Gibbons; Pablo Nogueira
Bestellen
bei Springer.com
€ 51,16
Bestellengesponserter Link
Jeremy Gibbons; Pablo Nogueira:

Mathematics of Program Construction - neues Buch

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…

new in stock. Versandkosten:zzgl. Versandkosten.
2
Mathematics of Program Construction - 50-99.99
Bestellen
bei ebooks.com
€ 74,99
Bestellengesponserter Link

50-99.99:

Mathematics of Program Construction - neues Buch

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…

new in stock. Versandkosten:zzgl. Versandkosten.
3
Mathematics of Program Construction - Jeremy Gibbons; Pablo Nogueira
Bestellen
bei Springer.com
€ 51,16
Bestellengesponserter Link
Jeremy Gibbons; Pablo Nogueira:
Mathematics of Program Construction - neues Buch

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…

  - Versandkosten:zzgl. Versandkosten.
4
Bestellen
bei lehmanns.de
€ 63,44
Versand: € 9,951
Bestellengesponserter Link
Jeremy Gibbons; Pablo Nogueira:
Mathematics of Program Construction - neues Buch

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

Versandkosten:Download sofort lieferbar. (EUR 9.95)
5
Mathematics of Program Construction : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings - Hideyuki Kanematsu
Bestellen
bei hive.co.uk
£ 45,89
(ca. € 51,74)
Bestellengesponserter Link
Hideyuki Kanematsu:
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

No. 9783642311130. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten.

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

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)


< zum Archiv...