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
Poštovani korisnici, zbog državnog praznika korisnička podrška danas nije dostupna. Na vaše zahtjeve odgovorit ćemo sljedeći radni dan. Hvala vam na razumijevanju.
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Integrated Formal Methods

11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Integrated Formal Methods Elvira Albert
Libristo kod: 05147795
Nakladnici Springer International Publishing AG, kolovoz 2014
This book constitutes the refereed proceedings of the 11th International Conference on Integrated Fo... Cijeli opis
? points 125 b
51.69 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Surrender to the Fantasy Magik Markers / Audio Audio CD
common.buy 22.05 €
A2 Key for schools Trainer 2 / Knjiga Meki uvez
common.buy 42.48 €
Storm Child Fountain / Knjiga Meki uvez
common.buy 9.70 €
Гендер, культура и фукусимская катастрофа / Knjiga Tvrdi uvez
common.buy 22.15 €
Studio dell'altezza facciale inferiore Mustapha Amad Neto / Knjiga Meki uvez
common.buy 21.44 €
Boy's Abyss 11 Nana Umino / Knjiga Meki uvez
common.buy 7.38 €
Mia Moglie mi Tradisce Lara Steele / Knjiga Tvrdi uvez
common.buy 22.45 €
Recueil De Contes Populaires Grecs Anonymous / Knjiga Tvrdi uvez
common.buy 34.49 €
Perfektionismus im Schulkontext / Knjiga Meki uvez
common.buy 16.18 €
Die italienische Plastik Wilhelm Bode / Knjiga Tvrdi uvez
common.buy 109.26 €
Jetzt sag ich's Waltraut Haas / E-knjiga Adobe ePub DRM
common.buy 18.91 €
Dopamin Rowena Kong / Knjiga Meki uvez
common.buy 35.71 €
POR TIERRAS DE SALAMANCA GRANDE DEL BRIO / Knjiga Tvrdi uvez
common.buy 28.22 €
Tajemství stříbrné klisny Julie Wald / Knjiga Tvrdi uvez
common.buy 8.49 €
Ange Pitou - Tome II: (Les Mémoires d'un médecin) Dumas Alexandre / Knjiga Meki uvez
common.buy 15.57 €
The Grey - Unter Wölfen, 1 Blu-ray Roger Barton / Video Blu-ray
common.buy 13.35 €
Missa Sancti Amandi, Partitur Joseph Haydn / Tiskanica Note
common.buy 41.17 €
Historia de la Vida del Buscon Llamado Don Pablos: Ejemplo de Vagamundos Y Espejo de Taca Francisco de Quevedo / Knjiga Meki uvez
common.buy 13.04 €

This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 43 submissions. The papers have been organized in the following topical sections: tool integration; model verification; program development; security analysis; analysis and transformation; and concurrency and control.

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 Elvira Albert, Emil Sekerinski
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2014
Broj stranica 390
EAN 9783319101804
ISBN 3319101803
Libristo kod 05147795
Nakladnici Springer International Publishing AG
Težina 6088
Dimenzije 155 x 235 x 22

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
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

Solidarity in Health and Social Care in Europe W. Arts / Knjiga Meki uvez
common.buy 205.79 €
Facilitator's & Trainer's Toolkit Artie Mahal / Knjiga Meki uvez
common.buy 23.06 €
Brownies in the Attic S a Parks / Knjiga Meki uvez
common.buy 8.79 €
Practical Spirituality and Human Development Ananta Kumar Giri / Knjiga Tvrdi uvez
common.buy 106.33 €
VOCABULARY SUCCESS B2 FCE SELF STUDY / Knjiga Knjiga
common.buy 22.25 €
Sins of a Wicked Princess Anna Randol / Knjiga Meki uvez
common.buy 9.20 €
Lower Secondary Maths Progress Teacher's Guide: Stage 8 Alastair Duncombe / Knjiga Meki uvez
common.buy 68.89 €
Cursive Alphabet Mike Stewart / Knjiga Meki uvez
common.buy 9.50 €
Povoljno
The Incomplete (Updated Edition) Robert Klanten / Knjiga Tvrdi uvez
common.buy 38.03 €
Find Wonder in the Ordinary: A Kid's Book for Adults Bernie Freytag / Knjiga Meki uvez
common.buy 19.32 €
Novo
Bernard Williams on Law and Jurisprudence Daniel Peixoto Murata / Knjiga Tvrdi uvez
common.buy 127.78 €
The Complete Idiot's Guide to Dirty Jokes David Pietras / Knjiga Meki uvez
common.buy 17.80 €
Computer Algebra in Scientific Computing Vladimir P. Gerdt / Knjiga Meki uvez
common.buy 55.84 €
Church history: Historia Ecclesiastica or Historia Ecclesiae Eusebius of Caesarea / Knjiga Meki uvez
common.buy 25.79 €
2 Life's Stories J L Albesa / Knjiga Meki uvez
common.buy 6.16 €
Analytical QbD Approach for Enhanced Robustness of HPLC Methods Sarwar Beg / Knjiga Meki uvez
common.buy 32.06 €
The Secrets of the Notebook: A Woman's Quest to Uncover Her Royal Family Secret Eve Haas / Knjiga Meki uvez
common.buy 16.68 €
Paddling Idaho Greg Stahl / Knjiga Meki uvez
common.buy 22.86 €
Empire of Cotton Sven Beckert / Knjiga Meki uvez
common.buy 14.16 €
THE ROMANS OF BRITAIN HENRY CHARLES COOTE / Knjiga Meki uvez
common.buy 35.50 €
Chapters Of Opera Henry Edward Krehbiel / Knjiga Meki uvez
common.buy 23.97 €
Black Ice Lorene Cary / Knjiga Meki uvez
common.buy 16.68 €
Glasgow Sean Damer / Knjiga Meki uvez
common.buy 20.23 €
2nd Chance James Patterson / Knjiga Meki uvez
common.buy 11.83 €

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