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.

Integrated Formal Methods

8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Integrated Formal Methods Dominique Méry
Libristo-code: 01656785
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, oktober 2010
This book constitutes the refereed proceedings of the 8th International Conference on Integrated For... Volledige beschrijving
? points 125 b
51.62 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Indigenes Wohnen und Leben in den nördlichen Savannen Afrikas Gerhard Glombiewski / Boek Gebonden (paperback)
common.buy 17.87 €
In Wirklichkeit Ist Das Weib Dem Mann UEberlegen Adler Wissa / Boek Gebonden (paperback)
common.buy 34.44 €
Het oog der liefde Kent / Luisterboek MP3
common.buy 7.16 €
A la orilla de la ziranda: Narrativa Ernesto Adair Zepeda Villarreal / Boek Gebonden (paperback)
common.buy 8.58 €
Vingt-Quatre Nouvelles Genevoises, Volume 2 M Ril Catalan / Boek Gebonden (paperback)
common.buy 20.70 €
Petite Terreur ou souffre-douleur Stéphane Bourcet / Boek Gebonden (paperback)
common.buy 28.38 €
Manejo de maquinaria de corte de bloques de piedra Encarnación López Béjar / Boek Gebonden (paperback)
common.buy 23.83 €
Diamonds Marilyn Monroe / Audio Audio cd
common.buy 6.25 €
Potencial de Croacia como destino turístico para el mercado ruso / Boek Gebonden (paperback)
common.buy 35.65 €
Jakobsweg ist uberall Olaf Behrens / Boek Gebonden (paperback)
common.buy 14.74 €
Die fabelhafte Welt der Libellen (Tischaufsteller DIN A5 quer) Heike Hultsch / Boek Gebonden (paperback)
common.buy 16.86 €
Die Langschwanzeidechsen der Gattung Takydromus Uwe Schlüter / Boek Gebonden (paperback)
common.buy 15.14 €
Oberwallis Roland Nanzer / Boek Gebonden (harde band)
common.buy 34.54 €
Einleitung in Die Psychologie Nach Kritischer Methode Paul Natorp / Boek Gebonden (paperback)
common.buy 17.87 €
Einheitliche europaische Akte und europaischer Binnenmarkt Jan Pfitzner / Boek Gebonden (paperback)
common.buy 16.16 €
Grundkurs Statistik Fur Politologen Und Soziologen Uwe W. Gehring / Boek Gebonden (paperback)
common.buy 51.82 €
Schumann-Handbuch Ulrich Tadday / Boek Gebonden (harde band)
common.buy 31.92 €
Die Strafgewalt der Kirche. Wilhelm Rees / Boek Gebonden (paperback)
common.buy 93.95 €
Grandes Personajes de la Historia - Biografias noveladas Consuelo Jimenez De Cisneros / Boek Gebonden (paperback)
common.buy 14.64 €
Projekt da Vinci - Hledání pravdy DVD + CD (ČJ, AJ, NJ, ŠJ, FJ) / Video Video
common.buy 7.16 €

This book constitutes the refereed proceedings of the 8th International Conference on Integrated Formal Methods, IFM 2010, held in Nancy, France, in October 2010. The 20 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 59 submissions. The papers address the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, refinement, verification and model transformations to type systems, logics, tools and case studies.

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 Dominique Méry, Stephan Merz
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2010
Aantal pagina's 337
EAN 9783642162640
ISBN 3642162649
Libristo-code 01656785
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 528
Afmetingen 155 x 235 x 19

Categorieën

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

Knight of the White Cross George Alfred Henty / Boek Gebonden (paperback)
common.buy 16.16 €
To Duel With the Hands of God James R Elliott / Boek Gebonden (paperback)
common.buy 15.55 €
Coffee Table Conversations Tina Divina / Boek Gebonden (paperback)
common.buy 20.30 €
Multivariate Statistical Analysis V.I. Serdobolskii / Boek Gebonden (paperback)
common.buy 102.84 €
Miscellanies Upon Various Subjects John Aubrey / Boek Gebonden (paperback)
common.buy 13.53 €
Measurement of Partial Discharges in Power Transformers using Electromagnetic Signals Sebastian Coenen / Boek Gebonden (paperback)
common.buy 21.41 €
Alpha Jasinda Wilder / Boek Gebonden (paperback)
common.buy 16.36 €
How to Analyze People Ryan James / Boek Gebonden (paperback)
common.buy 18.38 €
Demographic Masculinization of China Isabelle Attané / Boek Gebonden (harde band)
common.buy 51.62 €
Transcending Textuality Ariadna Garcia Bryce / Boek Gebonden (paperback)
common.buy 47.88 €

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?