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

Software Engineering and Formal Methods

12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Software Engineering and Formal Methods Dimitra Giannakopoulou
Libristo kod: 05147842
Nakladnici Springer International Publishing AG, srpanj 2014
This book constitutes the refereed proceedings of the 12th International Conference on Software Engi... Cijeli opis
? points 135 b
55.93 €
Vanjske zalihe u manjem broju Šaljemo za 11-15 dana

Do 30 dana za povrat

Kupci su kupili i

Percepción de la calidad del servicio universitario: una aproximación Evelyn Ruth Poitevin / Knjiga Meki uvez
common.buy 48.33 €
Spor Anatomisi N. simsek Cankur / Knjiga Meki uvez
common.buy 16.21 €
Anatomia Coniunctionis Magnae. Oder Beschreibung der grossen und wol mercklichen Zusammenkunfft beyder obersten Planeten Saturns und Jupiters, Welche Carl von Reifitz / Knjiga Meki uvez
common.buy 28.16 €
Modelo Terapéutico de Nutrición Funcional en la Obesidad Edwin Enrique Martínez Leo / Knjiga Meki uvez
common.buy 45.39 €
Dykare / Knjiga Tvrdi uvez
common.buy 29.89 €
Le Talmud de Jerusalem, Volumes 4-5... Moise Schwab / Knjiga Meki uvez
common.buy 32.62 €
Totalement jumelles - numéro 9 Devine qui vient danser ? Ashley Olsen / Knjiga Meki uvez
common.buy 7.69 €
Pokémon go: la parola pi? cliccata nel web. Anarchia e gioco Riccardo Fenizia / Knjiga Meki uvez
common.buy 6.78 €
Wildpflanzen in der Ernährung der Grundbevölkerung Melanesiens Barbara Treide / Knjiga Tvrdi uvez
common.buy 134.88 €

This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014.§The 23 full papers presented together with 3 invited and 6 tool papers were carefully reviewed and selected from 106 submissions. They are organized in topical section on program verification, testing, component-based systems, real-time and embedded systems, model checking and automata learning, program correctness, and adaptive and multi-agent systems.

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 Software Engineering and Formal Methods
Autor Dimitra Giannakopoulou, Gwen Salaün
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2014
Broj stranica 394
EAN 9783319104300
ISBN 3319104306
Libristo kod 05147842
Nakladnici Springer International Publishing AG
Težina 6263
Dimenzije 155 x 235 x 235

Kategorija

Computing & Information Technology > Computer hardware > Network hardware
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

Dynamical Oceanography Henk A. Dijkstra / Knjiga Meki uvez
common.buy 55.93 €
Top
Inside Florence Alessandro Moggi / Knjiga Tvrdi uvez
common.buy 52.59 €
CHASM MCEWAN STACEY / Knjiga Meki uvez
common.buy 15.09 €
Christopher's Blade Scare Street / Knjiga Meki uvez
common.buy 14.89 €
Top
Landscape Don McCullin / Knjiga Tvrdi uvez
common.buy 54.82 €
I Want To Sleep: Why we struggle to sleep - How we can remedy it. MR Marios Savva / Knjiga Meki uvez
common.buy 6.78 €
Positive Psychology in Sport and Physical Activity Abbe Brady / Knjiga Tvrdi uvez
common.buy 216.46 €
Handbook of Chinese Cultural Terms Dr Frances Weightman Weightman / Knjiga Meki uvez
common.buy 16.71 €
Quantitative Logic And Soft Computing - Proceedings Of The Ql&sc 2012 Yongming Li / Knjiga Tvrdi uvez
common.buy 273.93 €
Pripremamo
US Marine Corps Handbook 1941-45 George Forty / Knjiga Tvrdi uvez
common.buy 26.54 €
Pripremamo
Pop Revolution Alex Goldfarb Marquis / Knjiga Meki uvez
common.buy 16.10 €
Martyrdom and Literature in Early Modern England Susannah Brietz Monta / Knjiga Tvrdi uvez
common.buy 120.69 €
Metronomic Chemotherapy, 1 Guido Bocci / Knjiga Tvrdi uvez
common.buy 115.93 €
River Channel Restoration - Guiding Principles for Sustainable Projects Andrew Brookes / Knjiga Tvrdi uvez
common.buy 339.30 €
Pripremamo
X-Men: The Hidden Years Jim Shooter / Knjiga Meki uvez
common.buy 6.68 €
Pripremamo
Peace and Conflict 2008 J. Joseph Hewitt / Knjiga Meki uvez
common.buy 45.09 €
John Stainer Jeremy Dibble / Knjiga Tvrdi uvez
common.buy 169.14 €

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?