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

10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Integrated Formal Methods Einar Broch Johnsen
Libristo kod: 01663776
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, svibanj 2013
This book constitutes the refereed proceedings of the 10th International Conference on Integrated Fo... Cijeli opis
? points 125 b
51.63 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Manuel de communication non verbale appliquée - Le modèle de recours à la force évolué et les indices de menace Rossin-Arthiat / Knjiga Meki uvez
common.buy 40.61 €
Pripremamo
Crimson Spell. Bd.5 Ayano Yamane / Knjiga Meki uvez
common.buy 8.88 €
Kunst Des 18. Jahrhunderts Edmond de Goncourt / Knjiga Meki uvez
common.buy 41.52 €
Dançando tango em Istambul Melis Merih Kiliç / Knjiga Meki uvez
common.buy 44.45 €
EINE KLEINE NACHTMUSIK KV 525 WOLFGANG AMADEUS MOZ Knjiga binding.
common.buy 11.00 €
Éléments de culture générale - 100 'colles' et sujets pour les prépas et les oraux des concours Dumont / Knjiga Meki uvez
common.buy 29.60 €
Meine täglichen Übungen in Mathematik - 10. Schuljahr. H.3 Karlheinz Lehmann / Knjiga List
common.buy 10.70 €
Totenbuch DES Mainzer Dominikanerklosters Isnard W. Frank / Knjiga Tvrdi uvez
common.buy 109.13 €
Recht und Energie Peter Rosin / Knjiga Tvrdi uvez
common.buy 204.62 €
Rivalen unter roter Sonne, 1 Blu-ray Terence Young / Video Blu-ray
common.buy 13.23 €
La biblia del ayurveda : guía definitiva de la sanación ayurvédica Anne McIntyre / Knjiga Meki uvez
common.buy 20.30 €

This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. §The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. The papers cover the spectrum of integrated formal methods, focusing on refinement, integration, translation, verification, reachability and model checking, usability and testing, distributed systems, semantics, and system-level analysis.

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 Einar Broch Johnsen, Luigia Petre
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2013
Broj stranica 443
EAN 9783642386121
ISBN 3642386121
Libristo kod 01663776
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 700
Dimenzije 155 x 235 x 26

Kategorija

Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
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 > Computer architecture & logic design
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

Safety of historical stone arch bridges Pieter Van Gelder / Knjiga Meki uvez
common.buy 100.64 €
Space groups (156) P3m1-(148) R-3 Pierre Villars / Knjiga Tvrdi uvez
common.buy 540.12 €
Progressive Development Arie S. Issar / Knjiga Meki uvez
common.buy 102.86 €
Tocqueville Khaled Mattawa / Knjiga Meki uvez
common.buy 13.13 €
Psychology of Crime, Policing and Courts Andreas Kapardis / Knjiga Tvrdi uvez
common.buy 245.14 €
Novels of Charles Lever V.1- The Confessions of Harry Lorrequer.., Volume 16 Charles Lever / Knjiga Tvrdi uvez
common.buy 40.11 €
Top
Stalin Edvard Radzinsky / Knjiga Meki uvez
common.buy 16.46 €
Blaze and Thunderbolt C. W. Anderson / Knjiga Meki uvez
common.buy 8.38 €
Inside Gitmo Gordon Cucullu / Knjiga Meki uvez
common.buy 21.11 €
Meetings with Remarkable Women Lenore Friedman / Knjiga Meki uvez
common.buy 29.09 €
Guided Highlighted Reading: A Close-Reading Strategy for Navigating Complex Text Elaine M. Weber / Knjiga Meki uvez
common.buy 17.88 €
Free Thoughts on Despotic and Free Governments Joseph Townsend / Knjiga Tvrdi uvez
common.buy 34.45 €
Racism, Culture, Markets John Gabriel / Knjiga Tvrdi uvez
common.buy 278.39 €
Snapshots of Lisa: A Candid Look at Down Syndrome and Snippets of Lisa's Life Angee Barcus / Knjiga Meki uvez
common.buy 13.03 €
Exponential Families of Stochastic Processes Uwe Küchler / Knjiga Tvrdi uvez
common.buy 154.20 €
Mentalizing in Arts Therapies Marianne Verfaille / Knjiga Tvrdi uvez
common.buy 201.99 €
Learn Power BI Greg Deckler / Knjiga Meki uvez
common.buy 44.86 €
Awakening Power Sat Dharma / Knjiga Meki uvez
common.buy 15.75 €
Broadtube Music Mag - Volume 28: Music Mag 28 Olamide Ayodeji Kolade / Knjiga Meki uvez
common.buy 10.30 €
Dangerous Language ? Esperanto under Hitler and Stalin Humphrey Tonkin / Knjiga Meki uvez
common.buy 116.81 €
Global Business Strategy Cornelis A. de Kluyver / Knjiga Meki uvez
common.buy 28.99 €
Of Lands High and Low Martha Keyes / Knjiga Meki uvez
common.buy 13.03 €
Fly ash for water and wastewater treatment Md. Ahmaruzzaman / Knjiga Meki uvez
common.buy 39.20 €
Elegies. William Mason / Knjiga Meki uvez
common.buy 12.62 €

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