Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Integrated Formal Methods

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Integrated Formal Methods Dominique Méry
Libristo kod: 01656785
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, listopad 2010
This book constitutes the refereed proceedings of the 8th International Conference on Integrated For... Cijeli opis
? points 125 b
51.75 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Indigenes Wohnen und Leben in den nördlichen Savannen Afrikas Gerhard Glombiewski / Knjiga Meki uvez
common.buy 17.92 €
In Wirklichkeit Ist Das Weib Dem Mann UEberlegen Adler Wissa / Knjiga Meki uvez
common.buy 34.53 €
Het oog der liefde Kent / Audio knjiga MP3
common.buy 6.78 €
A la orilla de la ziranda: Narrativa Ernesto Adair Zepeda Villarreal / Knjiga Meki uvez
common.buy 8.60 €
Vingt-Quatre Nouvelles Genevoises, Volume 2 M Ril Catalan / Knjiga Meki uvez
common.buy 20.75 €
Petite Terreur ou souffre-douleur Stéphane Bourcet / Knjiga Meki uvez
common.buy 27.13 €
Manejo de maquinaria de corte de bloques de piedra Encarnación López Béjar / Knjiga Meki uvez
common.buy 22.78 €
Potencial de Croacia como destino turístico para el mercado ruso / Knjiga Meki uvez
common.buy 35.74 €
Jakobsweg ist uberall Olaf Behrens / Knjiga Meki uvez
common.buy 14.78 €
Die fabelhafte Welt der Libellen (Tischaufsteller DIN A5 quer) Heike Hultsch / Knjiga Meki uvez
common.buy 16.90 €
Die Langschwanzeidechsen der Gattung Takydromus Uwe Schlüter / Knjiga Meki uvez
common.buy 15.18 €
Oberwallis Roland Nanzer / Knjiga Tvrdi uvez
common.buy 32.81 €
Einleitung in Die Psychologie Nach Kritischer Methode Paul Natorp / Knjiga Meki uvez
common.buy 17.92 €
Einheitliche europaische Akte und europaischer Binnenmarkt Jan Pfitzner / Knjiga Meki uvez
common.buy 16.20 €
Grundkurs Statistik Fur Politologen Und Soziologen Uwe W. Gehring / Knjiga Meki uvez
common.buy 51.95 €
Schumann-Handbuch Ulrich Tadday / Knjiga Tvrdi uvez
common.buy 32.00 €
Die Strafgewalt der Kirche. Wilhelm Rees / Knjiga Meki uvez
common.buy 94.18 €
Grandes Personajes de la Historia - Biografias noveladas Consuelo Jimenez De Cisneros / Knjiga Meki uvez
common.buy 14.17 €
Projekt da Vinci - Hledání pravdy DVD + CD (ČJ, AJ, NJ, ŠJ, FJ) / Video Video
common.buy 6.78 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Integrated Formal Methods
Autor Dominique Méry, Stephan Merz
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2010
Broj stranica 337
EAN 9783642162640
ISBN 3642162649
Libristo kod 01656785
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 528
Dimenzije 155 x 235 x 19

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Knight of the White Cross George Alfred Henty / Knjiga Meki uvez
common.buy 16.20 €
To Duel With the Hands of God James R Elliott / Knjiga Meki uvez
common.buy 15.59 €
Coffee Table Conversations Tina Divina / Knjiga Meki uvez
common.buy 20.35 €
Multivariate Statistical Analysis V.I. Serdobolskii / Knjiga Meki uvez
common.buy 103.10 €
Miscellanies Upon Various Subjects John Aubrey / Knjiga Meki uvez
common.buy 13.56 €
Measurement of Partial Discharges in Power Transformers using Electromagnetic Signals Sebastian Coenen / Knjiga Meki uvez
common.buy 21.46 €
Alpha Jasinda Wilder / Knjiga Meki uvez
common.buy 16.40 €
How to Analyze People Ryan James / Knjiga Meki uvez
common.buy 18.42 €
Demographic Masculinization of China Isabelle Attané / Knjiga Tvrdi uvez
common.buy 51.75 €
Transcending Textuality Ariadna Garcia Bryce / Knjiga Meki uvez
common.buy 48.00 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?