Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.99 € Zbirna točka DPD 3.49 € Kurirska služba GLS 5.99 € Kurir DPD 3.99 € Kurirska služba Express One 3.99 € Zbirno mesto Express One 3.99 € Zbirno mesto Pošte Slovenije 3.99 € Dostava preko Pošte Slovenije 3.99 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Integrated Formal Methods

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Integrated Formal Methods Dominique Méry
Koda Libristo: 01656785
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, oktober 2010
This book constitutes the refereed proceedings of the 8th International Conference on Integrated For... Celoten opis
? points 118 b
48.55 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Indigenes Wohnen und Leben in den nördlichen Savannen Afrikas Gerhard Glombiewski / Knjiga Mehka
common.buy 16.78 €
Vežovníček Marta Hlušíková; Alena Wagnerová / Knjiga Trda
common.buy 7.13 €
ONE PIECE - Acryl® - Robin x2 / Pisarniški material Pisarniški material
common.buy 8.54 €
Tłuste fiołki, wątłe nosorożce Jerzy Łukaszewski / Knjiga Mehka
common.buy 6.42 €
Jesus von Nazareth - Die Miniserie, 1 Blu-ray Franco Zeffirelli / Film Blu-ray
common.buy 21.40 €
Het oog der liefde Kent / Zvočnica MP3
common.buy 6.52 €
Potencial de Croacia como destino turístico para el mercado ruso / Knjiga Mehka
common.buy 33.37 €
Top
Hiszpański dla leniwych. Gramatyka i słownictwo Agnieszka Bywalec / Knjiga Mehka
common.buy 9.84 €
Petite Terreur ou souffre-douleur Stéphane Bourcet / Knjiga Mehka
common.buy 24.72 €
Rituels de Lumière Laurence LINSENMAIER / Knjiga Mehka
common.buy 20.60 €
A la orilla de la ziranda: Narrativa Ernesto Adair Zepeda Villarreal / Knjiga Mehka
common.buy 8.23 €
Die Langschwanzeidechsen der Gattung Takydromus Uwe Schlüter / Knjiga Mehka
common.buy 14.06 €
Projekt da Vinci - Hledání pravdy DVD + CD (ČJ, AJ, NJ, ŠJ, FJ) / Film Film
common.buy 6.83 €
Die Strafgewalt der Kirche. Wilhelm Rees / Knjiga Mehka
common.buy 105.95 €
Schumann-Handbuch Ulrich Tadday / Knjiga Trda
common.buy 30.05 €
Grundkurs Statistik Fur Politologen Und Soziologen Uwe W. Gehring / Knjiga Mehka
common.buy 48.75 €
Einheitliche europaische Akte und europaischer Binnenmarkt Jan Pfitzner / Knjiga Mehka
common.buy 15.17 €
Einleitung in Die Psychologie Nach Kritischer Methode Paul Natorp / Knjiga Mehka
common.buy 16.78 €
Oberwallis Roland Nanzer / Knjiga Trda
common.buy 33.57 €
In Wirklichkeit Ist Das Weib Dem Mann UEberlegen Adler Wissa / Knjiga Mehka
common.buy 33.47 €
Jakobsweg ist uberall Olaf Behrens / Knjiga Mehka
common.buy 13.86 €
Encyclopedie Des Sciences Mathematiques Pures Et Appliquees. Tome II. Troisieme Volume Sans Auteur / Knjiga Mehka
common.buy 17.08 €
Diamonds Marilyn Monroe / Zvok Zvočni CD
common.buy 6.42 €
Manejo de maquinaria de corte de bloques de piedra Encarnación López Béjar / Knjiga Mehka
common.buy 21.40 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Integrated Formal Methods
Avtor Dominique Méry, Stephan Merz
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2010
Število strani 337
EAN 9783642162640
ISBN 3642162649
Koda Libristo 01656785
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Teža 528
Mere 155 x 235 x 19

Kategorije

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

The French Defeat of 1940: Reassessment Joel Blatt / Knjiga Trda
common.buy 160.54 €
Biographical Memoirs of Fellows of the British Academy, XII British Academy / Knjiga Trda
common.buy 99.62 €
Introduction to Polynomial and Semi-Algebraic Optimization Jean Bernard Lasserre / Knjiga Mehka
common.buy 64.53 €
To Duel With the Hands of God James R Elliott / Knjiga Mehka
common.buy 15.07 €
Journeys We Make Glyn Idris Jones / Knjiga Trda
common.buy 26.63 €
Power of Conversation Barbara Kohm / Knjiga Trda
common.buy 144.36 €
Aich Hee Tzomachat Yemima Mizrachi / Knjiga Trda
common.buy 19.69 €
Asclepius Christopher M. Rutledge / Knjiga Mehka
common.buy 10.85 €
Coffee Table Conversations Tina Divina / Knjiga Mehka
common.buy 19.80 €
How to Analyze People Ryan James / Knjiga Mehka
common.buy 17.78 €
New Economic Spaces in Asian Cities Peter W. Daniels / Knjiga Mehka
common.buy 71.37 €
Foreboding and Circumstance in Ohio: A Gonzo-Stream of Consciousness-Existential-Post Modern Comedic Novella Fernando Giannotti / Knjiga Mehka
common.buy 6.73 €
In Folly's Shade John Welch / Knjiga Mehka
common.buy 15.17 €
Alpha Jasinda Wilder / Knjiga Mehka
common.buy 17.18 €
Sexually Transmitted Diseases Paul Quinn / Knjiga Trda
common.buy 47.64 €
Through Thine Eyes - The Spiritually Inspirational Journey of God Moving in My Life: Prayers and Meditations Geraldine Renee' Walker / Knjiga Mehka
common.buy 18.69 €
Urdg 758: Uniform Rules for Demand Guarantees Search and Check Publishers / Knjiga Mehka
common.buy 18.69 €
Multivariate Statistical Analysis V.I. Serdobolskii / Knjiga Mehka
common.buy 96.80 €
Top
Long Dark Tea-Time of the Soul Douglas Adams / Knjiga Mehka
common.buy 9.34 €
Miscellanies Upon Various Subjects John Aubrey / Knjiga Mehka
common.buy 12.66 €
Transcending Textuality Ariadna Garcia Bryce / Knjiga Mehka
common.buy 46.94 €
Measurement of Partial Discharges in Power Transformers using Electromagnetic Signals Sebastian Coenen / Knjiga Mehka
common.buy 20.10 €
Demographic Masculinization of China Isabelle Attané / Knjiga Trda
common.buy 48.55 €
Knight of the White Cross George Alfred Henty / Knjiga Mehka
common.buy 15.07 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?