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.

Integrated Formal Methods

Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Integrated Formal Methods Wolfgang Grieskamp
Libristo-code: 01563119
Uitgeverij Springer, Berlin, november 1999
This book constitutes the refereed proceedings of the Second International Conference on Integrated... Volledige beschrijving
? points 125 b
51.56 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Bluthochdruck nach der Menopause Jürgen Scholze / Boek Gebonden (paperback)
common.buy 51.77 €
La encrucijada de la educación / Boek Gebonden (paperback)
common.buy 21.39 €
ulaviyal nerukadi / உளவியல் நெருக்கடி V Balaji / Boek Gebonden (paperback)
common.buy 16.54 €
Pillole di Vendere! Beppe Damioli / Boek Gebonden (paperback)
common.buy 13.21 €
Coach Rozhovory Zdeněk Haník / Boek Gebonden (harde band)
common.buy 13.01 €
La Maison de l'ombre Carbonel / Boek Gebonden (paperback)
common.buy 25.22 €
TOP
Coloriages mystères Les grands classiques Disney Disney / Boek Gebonden (paperback)
common.buy 21.59 €
Voordelig
Rozbřesk Stephenie Meyer / Boek Gebonden (paperback)
common.buy 13.31 €
Entwicklung und Migration Dietrich Thränhardt / Boek Gebonden (paperback)
common.buy 26.94 €
Voordelig
Šenkýřka krásy Jan Schneider / Boek Boek
common.buy 2.31 €
Pane ministře, volá Sarajevo Vladimír Přibský / Boek Blad
common.buy 6.75 €
Moje nezbedné štěně Hry s Lumpíkem? Holly Webb / Boek Gebonden (paperback)
common.buy 5.94 €
Rétorika aneb řeč jako nástroj Eva Tinková / Boek Gebonden (paperback)
common.buy 7.86 €

This book constitutes the refereed proceedings of the Second International Conference on Integrated Formal Methods, IFM 2000, held in Dagstuhl, Germany in November 2000.The 22 revised full papers presented together with the abstracts of two invited talks were carefully reviewed and selected from 58 submissions. The papers are grouped together in topical sections on linking and extending notations, methodology, foundation of one formalism by another, semantics, and verification and validation.

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 Integrated Formal Methods
Auteur Wolfgang Grieskamp, Thomas Santen, Bill Stoddart
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2000
Aantal pagina's 446
EAN 9783540411963
ISBN 3540411968
Libristo-code 01563119
Uitgeverij Springer, Berlin
Gewicht 700
Afmetingen 155 x 235 x 23

Categorieën

Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI) > Machinaal leren
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 > 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

Wordt verwacht
Hidden Heart Of Emily Hudson Melissa Jones / Boek Gebonden (paperback)
common.buy 8.16 €
Bedtime Stories for Kids Imogen Young / Boek Gebonden (harde band)
common.buy 25.22 €
Nkuzimatism: The Holy Ankhuwa Abstracts Vol. 3 Mazi Chukwudi Okeke Maduno / Boek Gebonden (paperback)
common.buy 15.73 €
Dying for Mercy LP: A Novel of Suspense Mary Jane Clark / Boek Gebonden (paperback)
common.buy 21.89 €
Gunton's Magazine, Volume 20 George Gunton / Boek Gebonden (harde band)
common.buy 40.97 €
Immigrants' Son, An American Story George Trebat / Boek Gebonden (paperback)
common.buy 21.18 €
Proteomics Mass Spectrometry Methods Paula Meleady / Boek Gebonden (paperback)
common.buy 128.77 €
Jewish Bialystok and Its Diaspora Rebecca Kobrin / Boek Gebonden (paperback)
common.buy 33.20 €
Criminal Justice No'l Merino / Boek Gebonden (paperback)
common.buy 38.14 €
Landmarks in Medical Genetics Harper / Boek Gebonden (harde band)
common.buy 122.92 €
Biggle Swine Book Jacob Biggle / Boek Gebonden (harde band)
common.buy 7.05 €
Broken Knight / Boek Gebonden (paperback)
common.buy 13.51 €
Introduction to Nonlinear and Global Optimization Eligius M.T. Hendrix / Boek Gebonden (paperback)
common.buy 50.45 €
Classical Circuit Theory Omar Wing / Boek Gebonden (harde band)
common.buy 154.01 €
It's Now or Never Carole Matthews / Boek Gebonden (paperback)
common.buy 10.39 €
Oxford Reading Tree: Level 1: More First Words: Class Pack of 36 Roderick Hunt / Boek Gebonden (paperback)
common.buy 204.97 €
Black Cat TRUE ADVENTURE STORIES + CD ( Reading a Training Level 3) Peter Foreman / Boek Gebonden (paperback)
common.buy 9.78 €
Local Girls Caroline Zancan / Boek Gebonden (paperback)
common.buy 20.28 €
Out of Left Field Rebecca T. Alpert / Boek Gebonden (paperback)
common.buy 39.45 €
Aria De Luca Jaclin Marie / Boek Gebonden (paperback)
common.buy 14.22 €
Gilmore Girls Premium Advent Calendar Insight Editions / Kalender/agenda Kalender
common.buy 119.39 €

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