Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Integrated Formal Methods

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

Język AngielskiAngielski
Książka Miękka
Książka Integrated Formal Methods Dominique Méry
Kod Libristo: 01656785
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, październik 2010
This book constitutes the refereed proceedings of the 8th International Conference on Integrated For... Cały opis
? points 125 b
219.03 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Indigenes Wohnen und Leben in den nördlichen Savannen Afrikas Gerhard Glombiewski / Książka Miękka
common.buy 76.08 zł
In Wirklichkeit Ist Das Weib Dem Mann UEberlegen Adler Wissa / Książka Miękka
common.buy 146.15 zł
Het oog der liefde Kent / Audiobook MP3
common.buy 30.31 zł
A la orilla de la ziranda: Narrativa Ernesto Adair Zepeda Villarreal / Książka Miękka
common.buy 36.23 zł
Vingt-Quatre Nouvelles Genevoises, Volume 2 M Ril Catalan / Książka Miękka
common.buy 87.93 zł
Petite Terreur ou souffre-douleur Stéphane Bourcet / Książka Miękka
common.buy 120.35 zł
Manejo de maquinaria de corte de bloques de piedra Encarnación López Béjar / Książka Miękka
common.buy 101.08 zł
Potencial de Croacia como destino turístico para el mercado ruso / Książka Miękka
common.buy 151.17 zł
Vežovníček Marta Hlušíková; Alena Wagnerová / Książka Twarda
common.buy 31.31 zł
Jakobsweg ist uberall Olaf Behrens / Książka Miękka
common.buy 62.73 zł
Die fabelhafte Welt der Libellen (Tischaufsteller DIN A5 quer) Heike Hultsch / Książka Miękka
common.buy 71.66 zł
Die Langschwanzeidechsen der Gattung Takydromus Uwe Schlüter / Książka Miękka
common.buy 64.14 zł
Oberwallis Roland Nanzer / Książka Twarda
common.buy 146.85 zł
Einleitung in Die Psychologie Nach Kritischer Methode Paul Natorp / Książka Miękka
common.buy 76.08 zł
Einheitliche europaische Akte und europaischer Binnenmarkt Jan Pfitzner / Książka Miękka
common.buy 68.65 zł
Grundkurs Statistik Fur Politologen Und Soziologen Uwe W. Gehring / Książka Miękka
common.buy 220.04 zł
Schumann-Handbuch Ulrich Tadday / Książka Twarda
common.buy 135.41 zł
Die Strafgewalt der Kirche. Wilhelm Rees / Książka Miękka
common.buy 398.82 zł
Grandes Personajes de la Historia - Biografias noveladas Consuelo Jimenez De Cisneros / Książka Miękka
common.buy 62.33 zł
Projekt da Vinci - Hledání pravdy DVD + CD (ČJ, AJ, NJ, ŠJ, FJ) / Wideo Wideo
common.buy 30.31 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Integrated Formal Methods
Autor Dominique Méry, Stephan Merz
Język Angielski
Oprawa Książka - Miękka
Data wydania 2010
Liczba stron 337
EAN 9783642162640
ISBN 3642162649
Kod Libristo 01656785
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 528
Wymiary 155 x 235 x 19

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Systemy operacyjne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Knight of the White Cross George Alfred Henty / Książka Miękka
common.buy 68.45 zł
To Duel With the Hands of God James R Elliott / Książka Miękka
common.buy 65.84 zł
Coffee Table Conversations Tina Divina / Książka Miękka
common.buy 86.02 zł
Multivariate Statistical Analysis V.I. Serdobolskii / Książka Miękka
common.buy 436.67 zł
Miscellanies Upon Various Subjects John Aubrey / Książka Miękka
common.buy 57.31 zł
Measurement of Partial Discharges in Power Transformers using Electromagnetic Signals Sebastian Coenen / Książka Miękka
common.buy 91.14 zł
Alpha Jasinda Wilder / Książka Miękka
common.buy 69.36 zł
How to Analyze People Ryan James / Książka Miękka
common.buy 78.09 zł
Demographic Masculinization of China Isabelle Attané / Książka Twarda
common.buy 219.03 zł
Transcending Textuality Ariadna Garcia Bryce / Książka Miękka
common.buy 203.27 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo