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: 09535572
Nakladnici Springer International Publishing AG, studeni 2015
This book constitutes the refereed proceedings of the 17th International§Conference on Formal Engine... 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

More! Level 1 Presentation Plus DVD-ROM Herbert Puchta / Digital DVD
common.buy 95.64 €
Rival Truths Lindsay St Claire / Meki uvez
common.buy 52.46 €
de l'Utilite Des Colonies Pour La France Et Du Systeme Des Douanes Applique Aux Denrees Coloniales Ambert-J / Meki uvez
common.buy 15.53 €
Essai Philosophique Sur Le Corps Humain: Pour Servir de Suite A La Philosophie de la Nature. V2 Jean Baptiste Claude Delisle De Sales / Meki uvez
common.buy 31.17 €
Thermo-Hydraulics of Nuclear Reactors Christopher Earls Brennen / Tvrdi uvez
common.buy 51.25 €
Entstehung und Entwicklung des nationalsozialistischen Denkens in OEsterreich. Eine Analyse von Martin Pollacks "Der Tote im Bunker. Bericht uber mein Kacper Piontkowski / Meki uvez
common.buy 42.57 €
American Game Fishes; Their Habits, Habitat and Peculiarities; / Tvrdi uvez
common.buy 43.78 €
Die Geschichte des Gil Blas von Santillana Alain René Le Sage / Meki uvez
common.buy 53.97 €
Auf dass wir klug werden Anja Zimmer / Meki uvez
common.buy 14.62 €
Chaplains of ANZAC Dr Jennifer Betham-Lang / Tvrdi uvez
common.buy 16.64 €
Biotechs A Schneider / Meki uvez
common.buy 37.83 €
Neurobrucellosis Mehmet Turgut / Tvrdi uvez
common.buy 123.19 €

This book constitutes the refereed proceedings of the 17th International§Conference on Formal Engineering Methods, ICFEM 2015, held in Paris,§France, in November 2015. The 27 revised full papers presented were§carefully reviewed and selected from 82 submissions. The papers cover a wide§range of topics in the area of formal methods and software engineering and are§devoted to advancing the state of the art of applying formal methods in§practice. They focus in particular on combinations of conceptual and§methodological aspects with their formal foundation and tool support.

Informacije o knjizi

Puni naziv Formal Methods and Software Engineering
Autor Michael Butler, Sylvain Conchon, Fatiha Za?di
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2015
Broj stranica 436
EAN 9783319254227
ISBN 3319254227
Libristo kod 09535572
Nakladnici Springer International Publishing AG
Težina 6964
Dimenzije 155 x 235 x 236

Kategorija

Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
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
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