Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Formal Methods and Software Engineering

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Formal Methods and Software Engineering Lindsay Groves
Koda Libristo: 02084745
Založba Springer, Berlin, november 2012
This book constitutes the refereed proceedings of the 15th International Conference on Formal Engine... Celoten opis
? points 118 b
48.91 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

De la création ? la saturation du concept : L'esthétique relationnelle Fiona Vilmer / Knjiga Mehka
common.buy 60.35 €
Diario sereto de Pulgarcito Philippe Lechermeier / Knjiga Mehka
common.buy 18.52 €
Organizacao familiar agricola Raquel Silvestrin Zanon / Knjiga Mehka
common.buy 33.92 €
Abgründe des Alltags Silja Kyrada / Knjiga Mehka
common.buy 8.60 €
Goebekli Tepe Harry Eilenstein / Knjiga Mehka
common.buy 27.64 €
JE COLORIE A L'INFINI - FERME Knjiga binding.
common.buy 10.73 €
PROTEUS VOLUMES 1 ET 2 LOUIS RAFFIN Knjiga Mehka
common.buy 33.11 €
ENDODONCIA ROTATORIA EN DIENTES PRIMARIOS Mukesh Kumar / Knjiga Mehka
common.buy 57.82 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Formal Methods and Software Engineering
Avtor Lindsay Groves, Jing Sun
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2013
Število strani 466
EAN 9783642412011
ISBN 3642412017
Koda Libristo 02084745
Založba Springer, Berlin
Teža 735
Mere 154 x 234 x 24

Kategorije

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
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Advances in Cryptology - ASIACRYPT 2002 Yuliang Zheng / Knjiga Mehka
common.buy 48.91 €
The Ultimate Teacher Gift: A Humorous Middle Grade Novel Cailey Appenzeller / Knjiga Mehka
common.buy 7.28 €
Unwise Woman of Fuggis Mire Raven Dane / Knjiga Mehka
common.buy 19.33 €
Wineocology Caitlin Stansbury / Knjiga Mehka
common.buy 16.30 €
Ketchup with the Jessup's Carissa Bryant / Knjiga Mehka
common.buy 20.35 €
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 Trda
common.buy 28.35 €
Identity and Personhood Laurance Joseph Splitter / Knjiga Mehka
common.buy 48.91 €
Marius and the Cloud: A tale about homosexuality for children Raquel Huete Iglesias / Knjiga Mehka
common.buy 11.94 €
Lonely Planet New Zealand Planet Lonely / Knjiga Mehka
common.buy 27.84 €
Contested Criminalities in Zimbabwean Fiction Tendai Mangena / Knjiga Trda
common.buy 205.49 €
Seven Black Diamonds Melissa Marr / Knjiga Mehka
common.buy 7.89 €
Post-Qualitative Research and Innovative Methodologies Mark Murphy / Knjiga Trda
common.buy 160.12 €
Matzah Balls to Communion Wafers Gail Baker / Knjiga Trda
common.buy 30.68 €
Quiche Cookbook: Delicious Quiche Recipes that Will Create the Perfect Breakfast or Brunch Dish Stephanie Sharp / Knjiga Mehka
common.buy 12.35 €
Sun Wordsearch Book 8 The Sun / Knjiga Mehka
common.buy 7.89 €
Digital Marketing for Doctors Dibakar Bala / Knjiga Mehka
common.buy 14.88 €
Top
Bungo Stray Dogs: Wan!, Vol. 11 Kevin Gifford / Knjiga Mehka
common.buy 10.02 €
Top
Strange Case of Dr Jekyll and Mr Hyde Stevenson / Knjiga Mehka
common.buy 3.33 €
Titanic Stephanie Barczewski / Knjiga Mehka
common.buy 39.19 €
Top
Mobile Suit Gundam: The Origin 3 Yoshikazu Yasuhiko / Knjiga Trda
common.buy 21.66 €
History of the Town of Belfast with ... a Statistical Survey of the Parish of Belfast, Etc. [By George Benn.] George Benn / Knjiga Mehka
common.buy 28.15 €
Mr Monster Dan Wells / Knjiga Mehka
common.buy 11.03 €
240 Best-ever Chilli Recipes Jenni Fleetwood / Knjiga Mehka
common.buy 10.12 €
Titanic 100th Anniversary Edition Stephanie Barczewski / Knjiga Mehka
common.buy 50.53 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?