phone +385 21 784 0072
LIBRISTO 0
Besplatna dostava Overseas kurirskom službom iznad 59.99 €
Overseas 4.99 € Pošta 4.99 € DPD 5.99 € GLS 3.99 € GLS paketomat 3.49 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!

Formal Methods and Software Engineering

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Formal Methods and Software Engineering Michael Butler
Libristo kod: 01569538
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, studeni 2007
This book constitutes the refereed proceedings of the 9th International Conference on Formal Enginee... Cijeli opis
? points 154 b
61.44 €
Vanjske zalihe u manjem broju Šaljemo za 13-16 dana

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

Disney Tunes Hal Leonard Corp / Meki uvez
common.buy 10.99 €
Content-Based Image and Video Retrieval Oge Marques / Tvrdi uvez
common.buy 186.25 €
Report of the Committee Appointed to Examine Into the Rise, Progress, and Present State of the Society of Artists of the United States, Read April 15, George Murray / Meki uvez
common.buy 12.90 €
Information Security Mike Burmester / Meki uvez
common.buy 62.34 €
Tribes of the Northern Territories of the Gold Coast Madeline Manoukian / Tvrdi uvez
common.buy 176.06 €

This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. The 19 revised full papers together with two invited talks presented were carefully reviewed and selected from 38 submissions. The papers address all current issues in formal methods and their applications in software engineering. The papers are organized in topical sections.

Informacije o knjizi

Puni naziv Formal Methods and Software Engineering
Autor Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2007
Broj stranica 387
EAN 9783540766483
ISBN 3540766480
Libristo kod 01569538
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 611
Dimenzije 155 x 235 x 23

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

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