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 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Formal Methods and Software Engineering

15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Formal Methods and Software Engineering Lindsay Groves
Libristo kod: 02084745
Nakladnici Springer, Berlin, studeni 2012
This book constitutes the refereed proceedings of the 15th International Conference on Formal Engine... Cijeli opis
? points 125 b
51.53 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Sonaten für Violine und Klavier Nurit/Pescia Stark / Audio Audio CD
common.buy 24.00 €
De la création ? la saturation du concept : L'esthétique relationnelle Fiona Vilmer / Knjiga Meki uvez
common.buy 63.84 €
Impact économique et social de la privatisation au Pakistan Muhammad Ahsen / Knjiga Meki uvez
common.buy 21.37 €
Diario sereto de Pulgarcito Philippe Lechermeier / Knjiga Meki uvez
common.buy 20.77 €
ENDODONCIA ROTATORIA EN DIENTES PRIMARIOS Mukesh Kumar / Knjiga Meki uvez
common.buy 61.22 €
Pars, cours ! Alice Verret Aimee Verret / E-knjiga Adobe ePub DRM
common.buy 8.16 €
Goebekli Tepe Harry Eilenstein / Knjiga Meki uvez
common.buy 29.34 €
PROTEUS VOLUMES 1 ET 2 LOUIS RAFFIN Knjiga Meki uvez
common.buy 34.38 €
JE COLORIE A L'INFINI - FERME Knjiga binding.
common.buy 10.98 €
Organizacao familiar agricola Raquel Silvestrin Zanon / Knjiga Meki uvez
common.buy 35.80 €
Abgründe des Alltags Silja Kyrada / Knjiga Meki uvez
common.buy 8.97 €

This book constitutes the refereed proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, held in Queenstown, New Zealand, in October/November 2013. The 28 revised full papers together with 2 keynote speeches presented were carefully reviewed and selected from 88 submissions. The topics covered are abstraction and refinement, formal specification and modeling, program analysis, software verification, formal methods for software safety, security, reliability and dependability, tool development, integration and experiments involving verified systems, formal methods used in certifying products under international standards, and formal model-based development and code generation.

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 Formal Methods and Software Engineering
Autor Lindsay Groves, Jing Sun
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2013
Broj stranica 466
EAN 9783642412011
ISBN 3642412017
Libristo kod 02084745
Nakladnici Springer, Berlin
Težina 735
Dimenzije 154 x 234 x 24

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

Moglo bi vas zanimati i

Advances in Cryptology - ASIACRYPT 2002 Yuliang Zheng / Knjiga Meki uvez
common.buy 51.53 €
Post-Qualitative Research and Innovative Methodologies Mark Murphy / Knjiga Tvrdi uvez
common.buy 159.46 €
Seven Black Diamonds Melissa Marr / Knjiga Meki uvez
common.buy 8.36 €
Ketchup with the Jessup's Carissa Bryant / Knjiga Meki uvez
common.buy 21.17 €
Wineocology Caitlin Stansbury / Knjiga Meki uvez
common.buy 20.06 €
Identity and Personhood Laurance Joseph Splitter / Knjiga Meki uvez
common.buy 51.53 €
Coppee and Maupassant Tales Arnold Guyot Cameron / Knjiga Meki uvez
common.buy 19.66 €
Marius and the Cloud: A tale about homosexuality for children Raquel Huete Iglesias / Knjiga Meki uvez
common.buy 12.60 €
Lonely Planet New Zealand Planet Lonely / Knjiga Meki uvez
common.buy 33.38 €
Contested Criminalities in Zimbabwean Fiction Tendai Mangena / Knjiga Tvrdi uvez
common.buy 215.44 €
The Ultimate Teacher Gift: A Humorous Middle Grade Novel Cailey Appenzeller / Knjiga Meki uvez
common.buy 7.66 €
Speech of the Hon. Henry Clay, on the Subject of the Removal of the Deposites; Delivered in the Senate of the United States, December 26, 30, 1833 Clay / Knjiga Tvrdi uvez
common.buy 29.64 €
Matzah Balls to Communion Wafers Gail Baker / Knjiga Tvrdi uvez
common.buy 32.57 €
Quiche Cookbook: Delicious Quiche Recipes that Will Create the Perfect Breakfast or Brunch Dish Stephanie Sharp / Knjiga Meki uvez
common.buy 13.00 €
Winter Honeymoon Jacob M. Appel / Knjiga Meki uvez
common.buy 16.23 €
Sun Wordsearch Book 8 The Sun / Knjiga Meki uvez
common.buy 9.57 €
Digital Marketing for Doctors Dibakar Bala / Knjiga Meki uvez
common.buy 15.52 €
Sexual Reminisces Rare Diamond / E-knjiga Adobe ePub DRM
common.buy 6.04 €
Top
Bungo Stray Dogs: Wan!, Vol. 11 Kevin Gifford / Knjiga Meki uvez
common.buy 10.58 €
When Someone You Love Has Cancer Cathy Barker / Knjiga Tvrdi uvez
common.buy 17.44 €
Jim Crow Routine Stephen A. Berrey / Knjiga Meki uvez
common.buy 42.86 €
Titanic Stephanie Barczewski / Knjiga Meki uvez
common.buy 41.24 €
Top
Mobile Suit Gundam: The Origin 3 Yoshikazu Yasuhiko / Knjiga Tvrdi uvez
common.buy 22.99 €
Top
Strange Case of Dr Jekyll and Mr Hyde Stevenson / Knjiga Meki uvez
common.buy 4.53 €

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?