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.

Formal Program Development

IFIP TC2/WG 2.1 State-of-the-Art Report

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Formal Program Development Bernhard Möller
Libristo-code: 05274365
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, november 1993
This volume contains the background texts for an IFIPState-of-the-Art Seminar on Formal Program Deve... Volledige beschrijving
? points 125 b
51.69 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Wordt verwacht
Lehrbuch u. 1 MP3-CD ASSiMiL GmbH / Boek Gebonden (harde band)
common.buy 84.58 €
Vie Politique Et Religieuse De Thomas Becket (1842) Charles Bataille / Boek Gebonden (paperback)
common.buy 32.57 €
50 montages de tricot Pascale THULLIER / Boek Gebonden (paperback)
common.buy 29.84 €
Un faux pas dans la nuit Lhoste / Boek Gebonden (paperback)
common.buy 24.07 €
TOP
Akutní stavy na interním oddělení Jan Piťha / Boek Gebonden (paperback)
common.buy 15.07 €
GRAN TRATADO DE LOS ESTADIOS EN EL CAMINO A LA ILUMINACIÓN, EL LAM RIM CHEN MO - VOLÚMEN I TSONGKAPA / Boek Gebonden (paperback)
common.buy 34.39 €
Die vertragszahnaerztliche Wirtschaftlichkeits- und Abrechnungspruefung Ralf Großbölting / Boek Gebonden (paperback)
common.buy 85.79 €
Leo Graf von Caprivi. Bismarcks Kampf gegen Caprivi Julius von Eckardt / Boek Gebonden (harde band)
common.buy 64.24 €
Dinamiche Negoziali nella Cooperazione tra Imprese Andrea Caputo / Boek Gebonden (paperback)
common.buy 47.24 €
Briefe an einen jungen Schriftsteller Mario Vargas Llosa / Boek Gebonden (paperback)
common.buy 7.38 €

This volume contains the background texts for an IFIPState-of-the-Art Seminar on Formal Program Development, held in early 1992 near Rio de Janeiro, Brazil. The book stems from work done by IFIP Working Group 2.1 on Algorithmic Languages and Calculi. Since 1975, the Working Group has increasingly focused on systematic approaches to programming and on appropriate concepts and notations to support such approaches. Today, the calculation of programs from specifications constitutes the central theme of the group's work. Thus the core interests of the group are:- formal specification of solutions to problems, and- formal development/calculation of programs from such specifications.

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 Formal Program Development
Auteur Bernhard Möller, Helmut Partsch, Steve Schuman
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 1993
Aantal pagina's 375
EAN 9783540574996
ISBN 3540574999
Libristo-code 05274365
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 1210
Afmetingen 155 x 233 x 21

Categorieën

Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie > Wiskunde voor computerwetenschappers
Wiskunde en wetenschap > Wiskunde > Combinatoriek en grafiektheorie
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Besturingssystemen
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

Success: The Best of Napoleon Hill Napoleon Hill / Boek Gebonden (paperback)
common.buy 14.86 €
Muir Ramble Route Peter Thomas / Boek Gebonden (paperback)
common.buy 15.47 €
American Journalism after 'The Age of Mechanical Reproduction' Bjoern Schubert / Boek Gebonden (paperback)
common.buy 38.34 €
literary comparison of Edgar Allan Poes The Black Cat and The Tell-Tale Heart Selina Schuster / Boek Gebonden (paperback)
common.buy 16.18 €
Icarus' Second Chance Jacques Arnould / Boek Gebonden (paperback)
common.buy 102.99 €
Herman ""Baron"" Lamm, the Father of Modern Bank Robbery Walter Mittelstaedt / Boek Gebonden (paperback)
common.buy 35.50 €
Public Assault on America's Children Valerie Polakow / Boek Gebonden (paperback)
common.buy 31.15 €
IV. and V. Will. IV. C. 35.] the Act of Parliament [13 August, 1834] for Establishing the City of London School Anonymous / Boek Gebonden (paperback)
common.buy 18.20 €
Future of the Euro Matthias Matthijs / Boek Gebonden (harde band)
common.buy 146.90 €
Romans John F MacArthur / Boek Gebonden (paperback)
common.buy 13.55 €
City of Roses Emily Isaacson / Boek Gebonden (harde band)
common.buy 38.44 €
Never Say Never, Never Say Always Susan S Warner / Boek Gebonden (paperback)
common.buy 12.13 €
The States of the River Plate: Their Industries and Commerce Wilfrid Latham / Boek Gebonden (paperback)
common.buy 26.90 €
TinkerActive Workbooks: Kindergarten Science Taryn Johnson / Boek Gebonden (paperback)
common.buy 12.03 €
Shirley Charlotte Brontë / Boek Gebonden (paperback)
common.buy 19.11 €
Great War of the Dark Age Dominique Wohlschlag / Boek Gebonden (paperback)
common.buy 10.71 €
Learn Odoo Greg Moss / Boek Gebonden (paperback)
common.buy 56.25 €
Medieval Cruelty Daniel Baraz / Boek Gebonden (harde band)
common.buy 87.51 €
TOP
Algebraic Number Theory Frazer Jarvis / Boek Gebonden (paperback)
common.buy 38.44 €
State Counsellor Boris Akunin / Boek Gebonden (paperback)
common.buy 13.95 €
Vorticists Mark Antliffe / Boek Gebonden (paperback)
common.buy 50.68 €
Urdu for Children, Book II, 3 Book Set, Part One Sajida Alvi / Boek Gebonden (paperback)
common.buy 31.86 €
Little Polar Bear Hans DeBeer / Boek Gebonden (paperback)
common.buy 7.07 €
Living with Nietzsche Robert C. Solomon / Boek Gebonden (paperback)
common.buy 41.78 €

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