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

Formal Methods and Software Engineering

13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Formal Methods and Software Engineering Shengchao Qin
Libristo kod: 01659032
Nakladnici Springer, Berlin, studeni 2010
This book constitutes the refereed proceedings of the 13th International Conference on Formal Engine... Cijeli opis
? points 125 b
51.75 €
Vanjske zalihe Šaljemo za 8-11 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Il Devoto-Oli dei sinonimi e contrari. Con analoghi, generici, inversi e gradazioni semantiche Maurizio Trifone / Knjiga Meki uvez
common.buy 81.62 €
Akademia owoce Opracowanie zbiorowe / Knjiga Meki uvez
common.buy 2.52 €
Poesies Choisies Et Pieces Inedites d'Alexis Piron PIRON-A / Knjiga Meki uvez
common.buy 26.22 €
Die «andere» Familie Arbeitskreis "Repräsentationen" / Knjiga Tvrdi uvez
common.buy 115.15 €
Commentaria in decem Categorias Aristotelis Simplicius / Knjiga Tvrdi uvez
common.buy 161.33 €

This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting.

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 Shengchao Qin, Zongyan Qiu
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2011
Broj stranica 670
EAN 9783642245589
ISBN 3642245587
Libristo kod 01659032
Nakladnici Springer, Berlin
Težina 1143
Dimenzije 155 x 235 x 35

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

Paragraph Writing Jo Ellen Moore / Knjiga Meki uvez
common.buy 13.46 €
Masonic Tour Guide - Volume 2 DANIEL HANTTULA / Knjiga Meki uvez
common.buy 20.35 €
At The End Of The Day William J Epp / Knjiga Meki uvez
common.buy 19.33 €
The Keys Are Gone: A simple critique of the English Standard Version (ESV) Dr Daniel S Haifley / Knjiga Meki uvez
common.buy 9.41 €
Top
Ruhnama: The Book of the Soul (Annotated Version) Saparmyrat Turkmenbasy / Knjiga Meki uvez
common.buy 10.32 €
Vogue x Music Magazine Vogue / Knjiga Tvrdi uvez
common.buy 57.52 €
Jean Prouvé Jean Prouvé / Knjiga Tvrdi uvez
common.buy 26.83 €
Die verlore bokkie (Afrikaans) Amanda Jesperson / Knjiga Meki uvez
common.buy 5.56 €
Classification of the Bantu Languages bound with Bantu Word Division Malcolm Guthrie / Knjiga Meki uvez
common.buy 52.45 €
Iron Ship-Building - With Practical Illustrations John Grantham / Knjiga Tvrdi uvez
common.buy 35.03 €
Odes Sharon Olds / Knjiga Meki uvez
common.buy 13.97 €
Speakout Advanced 2nd Edition Students' Book and DVD-ROM Pack Antonia Clare / Knjiga Meki uvez
common.buy 34.73 €
Impact of the Environment on Psychiatric Disorder Hugh Freeman / Knjiga Tvrdi uvez
common.buy 92.97 €
Arab and Arab American Feminisms Rabab Ibrahim Abdulhadi / Knjiga Tvrdi uvez
common.buy 35.54 €

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?