Mathematics of Program Construction

Name: Mathematics of Program Construction
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01661444
Price: 53.79 EUR
Availability: InStock
Author: Jeremy Gibbons
ISBN: 9783642311123

11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings

Jeremy Gibbons

Pablo Nogueira

Sprache

Englisch

Buch Broschur

Libristo-Code: 01661444

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Juni 2012

This book constitutes the refereed proceedings of the 11th International Conference on Mathematics o... Vollständige Beschreibung

Libristo-Code: 01661444

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Vie de Saint Vincent de Paul Collet-P

Broschur

30.19 €

Guía práctica de adiestramiento del cachorro Sabine Winkler

Broschur

23.99 €

?Quién Se Robó Las Galletas? (Who Stole the Cookies? Spanish Edition) Yanitzia Canetti

Hardcover

14.29 €

Die Falterfrau Maria Sibylla Merian, Großdruck Utta Keppler

Broschur

13.00 €

EL ARTE DE AHOGARSE REID

Broschur

24.09 €

Puzzle 1000el. Premium Plus. Tea Time: Domek pod strzechą

Spiel

10.29 €

Anteil des Fettstoffwechsels bei verschiedenen Belastungsintensitaten Markus Schweiger

Broschur

47.95 €

?????? ????????? Grimm

MP3

1.69 €

Ravensburger Puzzle 12000726 - Pokémon Classics - 1500 Teile Puzzle für Erwachsene und Kinder ab 14 Jahren, Pokémon Puzzle

Spiel

27.99 €

Yaroslavskaya eparhiya v konce XVIII-nachale XX vekov Ol'ga Dashkovskaya

Broschur

87.39 €

Kožené pouzdro na karty a doklady - pull up braun

Papier- und Schreibwaren

19.39 €

Song of Ice & Fire - House Harlaw Reapers Eric M. Lang

Spiel

40.99 €

Míňať menej, získať viac Rebecca Rockefeller Liesl

Hardcover

14.49 €

Category Management. Einführung einer Warengruppenstrategie im Bereich Kunststoffprodukte anhand des Beispiels von technischen Kunststoffteilen

Broschur

17.95 €

BABADADA, Malti - Francais avec des articles, dizzjunarju bl-istampi - le dictionnaire visuel Babadada GmbH

Broschur

29.49 €

A halál anatómiája Róbert Surovec

Broschur

13.89 €

Vom Schlichten Sein Zum Sch nen Schein? Stephan Becker-Sonnenschein

Broschur

55.29 €

AchtNacht Judith Kutzner

Broschur

13.99 €

Los científicos Ors

Broschur

9.19 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Mathematics of Program Construction

Autor Jeremy Gibbons, Pablo Nogueira

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2012

Anzahl der Seiten 363

EAN 9783642311123

ISBN 3642311121

Libristo-Code 01661444

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 569

Abmessungen 155 x 235 x 21

Kategorie

EDV und Informationstechnologie > Informatik > Theoretische Informatik > Mathematik für Informatiker

Mathematik und Naturwissenschaften > Mathematik > Diskrete Mathematik

EDV und Informationstechnologie > Unternehmensanwendungen > Mathematische und statistische Software

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Datenbanken > Datenerfassung und -analyse

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

The Epitome of Medicine: A Monthly Retrospect of Progress in All Divisions of Medico-Chirurgical Practice. ... . Vol. I-X, [1884-1893].... Anonymous

Broschur

32.79 €