Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Mathematics of Program Construction

12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Mathematics of Program Construction Ralf Hinze
Libristo-code: 09296351
Uitgeverij Springer International Publishing AG, juni 2015
This book constitutes the refereed proceedings of the 12th International Conference on Mathematics o... Volledige beschrijving
? points 125 b
51.68 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Agatha Raisin und der tote Tierarzt M. C. Beaton / Boek Gebonden (paperback)
common.buy 11.83 €
Armagnacs et Bourguignons Bertrand Schnerb / Boek Gebonden (paperback)
common.buy 13.75 €
YO SOY AQUEL QUE AYER NO MáS DECíA RUBEN DARIO / Boek Gebonden (paperback)
common.buy 41.67 €
Fabric 81 Various Artists / Audio Audio cd
common.buy 17.89 €
Turlututu A kuku to ja Hervé Tullet / Spel/speelgoed Spel
common.buy 7.27 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Mathematics of Program Construction
Auteur Ralf Hinze, Janis Voigtlander
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2015
Aantal pagina's 323
EAN 9783319197968
ISBN 3319197967
Libristo-code 09296351
Uitgeverij Springer International Publishing AG
Gewicht 5153
Afmetingen 155 x 235 x 18

Categorieën

Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie > Wiskunde voor computerwetenschappers
Wiskunde en wetenschap > Wiskunde > Discrete wiskunde
Informatica en informatietechnologie > Bedrijfsapplicaties > Wiskundige software, statistische software
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

TOP
Lie That Broke the World Mark Lawrence / Boek Gebonden (paperback)
common.buy 13.04 €
View from the Bench and Chambers John Szmer / Boek Gebonden (harde band)
common.buy 60.38 €
Horsetail Hollow Amazingly Angus (Horsetail Hollow, Book 2) Thorpe / Boek Gebonden (paperback)
common.buy 6.26 €
The Sober Curious Reset Ruby Warrington / Boek Gebonden (paperback)
common.buy 19.92 €
First Year of Greek James Turney Allen / Boek Gebonden (harde band)
common.buy 41.57 €
Qualitative Research in European Migration Studies Evren Yalaz / Boek Gebonden (paperback)
common.buy 51.68 €
The Warrior's Honor: Ethnic War and the Modern Conscience Michael Ignatieff / Boek Gebonden (paperback)
common.buy 15.77 €
Academic Writing in a Foreign Language Julia Isabel Huettner / Boek Gebonden (paperback)
common.buy 96.70 €
European Radiation Protection Course Michel Vidal / Boek Gebonden (harde band)
common.buy 67.36 €
Tides of Consent James A. Stimson / Boek Gebonden (paperback)
common.buy 35.19 €
Sexuality in Mid-Life Stephen B. Levine / Boek Gebonden (harde band)
common.buy 102.97 €
Contract Theory in Continuous-Time Models Jaksa Cvitanic / Boek Gebonden (paperback)
common.buy 100.74 €
Operate in God's Purpose P Lynne Reed / Boek Gebonden (paperback)
common.buy 19.31 €
Jack and Celia Farber, Petitioners, V. Commissioner of Internal Revenue. U.S. Supreme Court Transcript of Record with Supporting Pleadings Archibald Cox / Boek Gebonden (paperback)
common.buy 26.09 €
Railroad Laws of New Mexico Thornton / Boek Gebonden (paperback)
common.buy 14.15 €
It's Not Rocket Science: Down-to-Earth Advice on Raising Stellar Kids Licata / Boek Gebonden (paperback)
common.buy 14.96 €
Wordt verwacht
Treaty Series 2374 I:42836-42851 United Nations / Boek Gebonden (paperback)
common.buy 40.05 €
Democracy and the Rise of Women's Movements in Sub-Saharan Africa Kathleen M. Fallon / Boek Gebonden (harde band)
common.buy 65.34 €
Zombiehole Julian Rhys Lightning / Boek Gebonden (paperback)
common.buy 26.59 €
Self in Neuroscience and Psychiatry David Anthony / Boek Gebonden (harde band)
common.buy 233.56 €
The Morality of Mrs. Dulska Gabriela Zapolska / Boek Gebonden (paperback)
common.buy 35.39 €
Teaching Writing to Visual, Auditory, and Kinesthetic Learners Donovan R. Walling / Boek Gebonden (paperback)
common.buy 26.19 €
Mixed Signal VLSI Wireless Design Emad N. Farag / Boek Gebonden (paperback)
common.buy 154.36 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?