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 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 € GLS Kurir 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 €.

Software Engineering and Formal Methods

9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Software Engineering and Formal Methods Gilles Barthe
Libristo kod: 01659065
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, listopad 2011
This book constitutes the refereed proceedings of the 9th International Conference on Software Engin... Cijeli opis
? points 132 b
54.35 €
50 % šanse Pretražit ćemo cijeli svijet Kada ću dobiti knjigu?

Do 30 dana za povrat

Kupci su kupili i

ROMANCE DE L'AVENT - UN C?UR POUR NOËL Sophie JOMAIN / Knjiga Knjiga
common.buy 23.03 €
Ako funguje hasičské auto? Lara Bryan / Knjiga Leporelo
common.buy 8.07 €
Jak myšák Felix zachránil Vánoce Alex T. Smith / Knjiga Tvrdi uvez
common.buy 13.43 €
Starken und Schwachen agiler Softwareentwicklungsmodelle Thomas Ecker / Knjiga Meki uvez
common.buy 47.17 €
TENEBRIS Michaela Brnková / Knjiga Meki uvez
common.buy 13.02 €
Technika Pracovný zošit pre 6. ročník ZŠ Eleonóra Boocová / Knjiga Meki uvez
common.buy 2.21 €
PLAY GUITAR TODAY SPIEL GITARRE (DVD) (DVD) Knjiga binding.
common.buy 26.97 €
Idrissa Kaba une histoire de vie. Témoignage Mamoudou Kabala Kabiné Kaba / Knjiga Meki uvez
common.buy 9.99 €
Perros detectores de cadáveres CAT WARREN / Knjiga Tvrdi uvez
common.buy 24.84 €
Kirchliche Hochschulen Ulrich Rhode / Knjiga Tvrdi uvez
common.buy 49.80 €
VW Käfer 1200/1300/1500/1302/S/1303/S alle Modelle ab August '69 Dieter Korp / Knjiga Knjiga
common.buy 29.39 €
Mein musikalisches Bilderbuch (Bd. 2) - Ferdinand sucht einen Freund Maria Köhnen / Knjiga Tvrdi uvez
common.buy 12.72 €
La medicina compostelana (1847-1950) AVELINO FRANCO GRANDE / Knjiga Meki uvez
common.buy 80.51 €
El ojo del espíritu : una visión integral para un mundo que está enloqueciendo poco a poco Ken Wilber / Knjiga Meki uvez
common.buy 31.61 €
Türk Siyasetinin Yapisal Analizi 1 Hasan Bülent Kahraman / Knjiga Meki uvez
common.buy 9.18 €
Le Role de la France Au Maroc Romagny-J / Knjiga Meki uvez
common.buy 17.37 €

This book constitutes the refereed proceedings of the 9th International Conference on Software Engineering and Formal Methods, SEFM 2011, held in Montevideo, Uruguay, in November 2011. §The 22 revised regular papers presented together with 1 short paper, 2 tool papers, and 4 keynote talks were carefully reviewed and selected from 105 initial abstracts and 85 full submissions. Besides the regular session the conference held a special track devoted to "Modeling for Sustainable Development" with 5 accepted papers - selected from 7 submissions - that are also part of this volume. The aim of SEFM is to advance the state of the art in formal methods, to scale up their application in software industry and to encourage their integration with practical engineering methods.

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 Software Engineering and Formal Methods
Autor Gilles Barthe, Alberto Pardo, Gerardo Schneider
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2011
Broj stranica 504
EAN 9783642246890
ISBN 3642246893
Libristo kod 01659065
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 777
Dimenzije 155 x 235 x 30

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer hardware > Network hardware
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 > Computer science > Artificial intelligence
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

Modern Theory of Crystal Growth I A.A. Chernov / Knjiga Meki uvez
common.buy 102.84 €
The House of Barbary Isabelle Schuler / Knjiga Meki uvez
common.buy 16.05 €
The Iceblade Sorcerer Shall Rule the World 6 Nana Mikoshiba / Knjiga Meki uvez
common.buy 9.08 €
The Hymns of Hermes: Echoes from the Gnosis G R S Mead / Knjiga Meki uvez
common.buy 15.04 €
Business Model Innovation DANIELA ANDREINI / Knjiga Meki uvez
common.buy 123.35 €
The Secret Book: Discover the Hidden Treasures Within You Michael Kintalel / Knjiga Meki uvez
common.buy 9.39 €
Briana's Pocket Posh Journal, Chevron Andrews McMeel Publishing / Knjiga Meki uvez
common.buy 7.67 €
Enigma: The Battle for the Code Hugh Sebag-Montefiore / Knjiga Tvrdi uvez
common.buy 28.89 €
Predictive Control for Linear and Hybrid Systems Francesco Borrelli / Knjiga Tvrdi uvez
common.buy 170.73 €
Cambridge English Movers 1 for Revised Exam from 2018 Answer Booklet collegium / Knjiga Meki uvez
common.buy 2.72 €
The Decline of Politics: The Conservatives and the Party System, 1901-1920 John English / Knjiga Meki uvez
common.buy 19.29 €
Positive School Leadership Joseph F. Murphy / Knjiga Meki uvez
common.buy 43.53 €
Janus Conspiracy MICHAEL DAVIES / Knjiga Meki uvez
common.buy 22.22 €
Lucky Luke: The Complete Collection Vol. 2 Goscinny / Knjiga Tvrdi uvez
common.buy 40.00 €
Loud House #10 The Loud House Creative Team / Knjiga Tvrdi uvez
common.buy 12.52 €
Confessions of a Recovering Engineer - Transportation for a Strong Town Charles L. Marohn Jr. / Knjiga Tvrdi uvez
common.buy 20.20 €
New Names for Lost Things Noor Unnahar / Knjiga Meki uvez
common.buy 10.80 €
Fun Games and Activities for kids 4 years + Maryan Ben Kim / Knjiga Meki uvez
common.buy 15.45 €
Tapestry of the Law E. Attwooll / Knjiga Meki uvez
common.buy 102.84 €
Glorious Revolution John Miller / Knjiga Meki uvez
common.buy 59.60 €
Poirot Investigates Agatha Christie / Knjiga Tvrdi uvez
common.buy 14.84 €
Pripremamo
Dispute Settlement Reports 1998: Volume 2, Pages 233-696 World Trade Organization / Knjiga Tvrdi uvez
common.buy 191.55 €
Making of an Industrial Society David Levine / Knjiga Tvrdi uvez
common.buy 288.13 €
Collected Works of Michal Kalecki: Volume VI: Studies in Applied Economics 1927-1941 Michal Kalecki / Knjiga Tvrdi uvez
common.buy 341.78 €

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?