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 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,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.62 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Kolory. Кольори. Colours / Boek Gebonden (paperback)
common.buy 2.01 €
50 montages de tricot Pascale THULLIER / Boek Gebonden (paperback)
common.buy 29.79 €
Un faux pas dans la nuit Lhoste / Boek Gebonden (paperback)
common.buy 24.04 €
Briefe an einen jungen Schriftsteller Mario Vargas Llosa / Boek Gebonden (paperback)
common.buy 8.98 €
Mitteilungen aus den technischen Versuchsanstalten zu Berlin Max Rudeloff / Boek Gebonden (paperback)
common.buy 19.89 €
Basic Course in Moroccan Arabic with MP3 Files Mohammed Abu-Talib / Boek Gebonden (paperback)
common.buy 52.63 €
Lehrbuch u. 1 MP3-CD ASSiMiL GmbH / Boek Gebonden (harde band)
common.buy 84.45 €
Techniques de massothérapie clinique - Région lombaire et pelvis Muscolino / Boek Gebonden (paperback)
common.buy 94.45 €
Richard Pischel. Kleine Schriften Georges-Jean Pinault / Boek Gebonden (harde band)
common.buy 308.54 €
Vie Politique Et Religieuse De Thomas Becket (1842) Charles Bataille / Boek Gebonden (paperback)
common.buy 32.52 €
TOP
Akutní stavy na interním oddělení Jan Piťha / Boek Gebonden (paperback)
common.buy 15.04 €
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.34 €
Die vertragszahnaerztliche Wirtschaftlichkeits- und Abrechnungspruefung Ralf Großbölting / Boek Gebonden (paperback)
common.buy 81.83 €
Dinamiche Negoziali nella Cooperazione tra Imprese Andrea Caputo / Boek Gebonden (paperback)
common.buy 47.17 €
Heterarchie vernetzt Sigrid Fellner-Haferl / Boek Gebonden (paperback)
common.buy 79.81 €
Leo Graf von Caprivi. Bismarcks Kampf gegen Caprivi Julius von Eckardt / Boek Gebonden (harde band)
common.buy 64.15 €

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 13.93 €
Little Island Bake Shop Jana Roerick / Boek Gebonden (harde band)
common.buy 27.07 €
Public Assault on America's Children Valerie Polakow / Boek Gebonden (paperback)
common.buy 29.69 €
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.18 €
Hlub Niam Laus Yuav Niam Hluas Charly Neej Tub Nyiaj Suav Nchaiv Pov / Boek Gebonden (harde band)
common.buy 27.47 €
Herman ""Baron"" Lamm, the Father of Modern Bank Robbery Walter Mittelstaedt / Boek Gebonden (paperback)
common.buy 35.45 €
Romans John F MacArthur / Boek Gebonden (paperback)
common.buy 13.53 €
City of Roses Emily Isaacson / Boek Gebonden (harde band)
common.buy 38.38 €
Second Star Alyssa B. Sheinmel / Boek Gebonden (paperback)
common.buy 15.75 €
Muir Ramble Route Peter Thomas / Boek Gebonden (paperback)
common.buy 15.45 €
Manchester Moll Emma Hornby / Boek Gebonden (paperback)
common.buy 10.80 €
The Linas in Troy Missouri: The Life and Times of Anton and Irma Lina MR John a Lina / Boek Gebonden (paperback)
common.buy 11.20 €
TinkerActive Workbooks: Kindergarten Science Taryn Johnson / Boek Gebonden (paperback)
common.buy 12.52 €
Future of the Euro Matthias Matthijs / Boek Gebonden (harde band)
common.buy 146.69 €
Shirley Charlotte Brontë / Boek Gebonden (paperback)
common.buy 19.08 €
Membrane Proteins in Aqueous Solutions Jean-Luc Popot / Boek Gebonden (paperback)
common.buy 169.52 €
Great War of the Dark Age Dominique Wohlschlag / Boek Gebonden (paperback)
common.buy 10.70 €
Learn Odoo Greg Moss / Boek Gebonden (paperback)
common.buy 56.16 €
The States of the River Plate: Their Industries and Commerce Wilfrid Latham / Boek Gebonden (paperback)
common.buy 26.86 €
Judgement Franz Kafka / E-book Adobe ePub DRM
common.buy 2.21 €
Understanding the Free-Will Controversy Thomas Talbott / E-book Adobe ePub DRM
common.buy 21.71 €
Never Say Never, Never Say Always Susan S Warner / Boek Gebonden (paperback)
common.buy 12.11 €
Reckless Lauren Roberts / E-book Adobe ePub DRM
common.buy 7.26 €
Nieuw
100 Football Legends Every Fan Should Know Gigi Romano / Boek Gebonden (paperback)
common.buy 24.54 €

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?