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.

VDM '90. VDM and Z - Formal Methods in Software Development

Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990. Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek VDM '90. VDM and Z - Formal Methods in Software Development Dines Bj?rner
Libristo-code: 05274141
Uitgeverij Springer, Berlin, april 1990
The present volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development... Volledige beschrijving
? points 125 b
51.66 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Inselparadies Malediven? Die Idylle in Gefahr durch Klimaerwärmung, Massentourismus und Umweltverschmutzung Tara Piaszinski / Boek Gebonden (paperback)
common.buy 13.54 €
Die for me, my Darling 01 Sousou Sakakibarai / Boek Gebonden (paperback)
common.buy 6.46 €
Der Kaktus stolpert im Schrank. Sätze aus Satzgliedern bilden, m. 1 Beilage Annegret Gerleit / Spel/speelgoed Spel
common.buy 13.94 €
Le Robert & Collins Dictionnaire visuel ukrainien / Boek Gebonden (paperback)
common.buy 11.42 €
Frammenti Marco Bartiromo / Boek Gebonden (paperback)
common.buy 10.51 €
Nanokompozity s antibakterial'nymi i remineralizuüschimi swojstwami Nandita Gautam / Boek Gebonden (paperback)
common.buy 32.04 €
UEberzeugungswandel bei Lehrkraften Jasmin Schlax / Boek Gebonden (paperback)
common.buy 43.47 €
Lazarillo de Tormes ANONIMO / Boek Gebonden (paperback)
common.buy 21.22 €
Jahrbuch Der Preu ischen Forst- Und Jagdgesetzgebung Und Verwaltung O. Mundt / Boek Gebonden (paperback)
common.buy 53.08 €
ToscaloneMord Werner Thiel / Boek Gebonden (paperback)
common.buy 8.18 €
Azbestové mosty Eva Frantinová / Boek binding.
common.buy 5.55 €
ANTROPOLOGIA COLONIAL / Boek Boek
common.buy 3.33 €
Obra negra. Contiene prosas para leer en la silla eléctrica y otras sillas Arango / Boek Gebonden (paperback)
common.buy 25.07 €
PAQUETE AHORRO AUXILIAR DE ENFERMERIA DEL SERVICIO ANDALUZ DE SALUD. AHORRA 93 Ç / Boek Gebonden (paperback)
common.buy 168.55 €
Vers le cyber-monde. Humain et numérique en interaction Mokrane Bouzeghoub / Boek Gebonden (paperback)
common.buy 29.62 €
Notes On A Conditional Form (Digipack) The 1975 / Audio Audio cd
common.buy 12.22 €
Catholischer Spiegel Carl von Reifitz / Boek Gebonden (paperback)
common.buy 62.38 €
Rock 'n' Roll Michele Primi / Boek Gebonden (harde band)
common.buy 29.41 €
Lotte's Wohlfühlort Maureen Heinz / Boek Gebonden (harde band)
common.buy 17.89 €
Diccionario histórico-político de Tudela JOSE YANGUAS Y MIRANDA / Boek Gebonden (paperback)
common.buy 15.76 €
Tyranny of Souls Bruce Dickinson Audio Audio cd
common.buy 23.75 €
Divisions urbaines. Repr sentations, m moires, r alit s Ir?ne Cagneau / Boek Gebonden (paperback)
common.buy 38.92 €

The present volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering, Z refers to Zermelo, a mathematician whose name is associated with set theory. Many computing science, programming and software engineering proceedings are published regularly. The ones by VDM Europe have the distinguished mark that they are concerned with bringing real theory to apply to real programming. In Europe, there is very much interest in methodology, semantics and techniques, that is, in understanding how we build and what it is that we are building. The papers of these proceedings basically fall into four major groups: Applications, Methodology, Formalisations, and Foundations. The Methodology group has been further subdivided into five areas: Specification Methodology, Design Methodology, Modularity, Object Orientedness, and Processes, Concurrency and Distributed Systems.

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 VDM '90. VDM and Z - Formal Methods in Software Development
Auteur Dines Bj?rner, C. A. R. Hoare, Hans Langmaack
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 1990
Aantal pagina's 588
EAN 9783540525134
ISBN 3540525130
Libristo-code 05274141
Uitgeverij Springer, Berlin
Gewicht 1078
Afmetingen 160 x 240 x 30

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
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

Noctis Licentia Amy Lawless / Boek Gebonden (paperback)
common.buy 11.32 €
Seeders Lori Dittmer / Boek Gebonden (paperback)
common.buy 8.28 €
Twelve Caesars SUETONIUS / Boek Gebonden (paperback)
common.buy 15.66 €
4 Steps to Healing Dr Robert Rapiti / Boek Gebonden (paperback)
common.buy 15.76 €
Image Paul F Gordon / Boek Gebonden (paperback)
common.buy 21.73 €
A Chronological History Of The Origin And Development Of Steam Navigation (1883) George Henry Preble / Boek Gebonden (harde band)
common.buy 54.29 €
They Were Heard from: VMI Alumni in the Civil War B. David Mann / Boek Gebonden (paperback)
common.buy 7.98 €
Brewing - A Book of Reference Anon / Boek Gebonden (paperback)
common.buy 27.19 €
Tribute to Menno Simons Franklin H. Littell / Boek Gebonden (harde band)
common.buy 19.40 €
One Man Advantage: Heller Brothers Hockey Book 3 Kelly Jamieson / Boek Gebonden (paperback)
common.buy 15.76 €
The Consistent Christian William Secker / Boek Gebonden (paperback)
common.buy 8.58 €
2CD - Výber ľudových piesní – Lúčnica – The Best Of Lúčnica / Audio Audio cd
common.buy 13.24 €
TOP
Ignite Me Tahereh Mafi / Boek Gebonden (paperback)
common.buy 7.57 €
PUPIL AS SCIENTIST Rosalind Driver / Boek Gebonden (paperback)
common.buy 37.81 €
Opening Inward: A Collection of poetry from the Inner World of Holotropic Breathwork Laurane McGlynn / Boek Gebonden (paperback)
common.buy 11.21 €
In the Garden of the Fugitives Ceridwen Dovey / Boek Gebonden (paperback)
common.buy 9.29 €
Viral Infections in Children, Volume II Robin J. Green / Boek Gebonden (paperback)
common.buy 166.12 €
Adventures of a Thought Thief Part 1 Beverly A. Burchett / Boek Gebonden (paperback)
common.buy 13.24 €
Children's Picturebooks Second Edition Martin Salisbury / Boek Gebonden (paperback)
common.buy 30.53 €
AWS Certified Cloud Practitioner Practice Tests Davis Neal Davis / Boek Gebonden (paperback)
common.buy 23.85 €
OpenMP Common Core Timothy G. Mattson / E-book Adobe ePub DRM
common.buy 42.56 €
Observing Weather and Climate from the Ground Up National Research Council / E-book Adobe ePub DRM
common.buy 77.75 €
History of Dogma; Volume 7 Adolf Von Harnack / Boek Gebonden (paperback)
common.buy 24.06 €
Cool Bean Makes a Splash Jory John / Boek Gebonden (paperback)
common.buy 5.96 €

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?