Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Software Engineering and Formal Methods

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Software Engineering and Formal Methods Gilles Barthe
Libristo kód: 01659065
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, říjen 2011
This book constitutes the refereed proceedings of the 9th International Conference on Software Engin... Celý popis
? points 138 b
1 380 Kč
Skladem u dodavatele v malém množství Odesíláme za 3-6 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

ROMANCE DE L'AVENT - UN C?UR POUR NOËL Sophie JOMAIN / Kniha Kniha
common.buy 553 Kč
Ausgewahlte Schriften Heinrich Von Kleist / Kniha Brožovaná
common.buy 529 Kč
saga del giovane Goku. Dragon Ball full color Akira Toriyama / Kniha Brožovaná
common.buy 233 Kč
Teoría crítico-estructuralista del Derecho mercantil Salomão Filho / Kniha Brožovaná
common.buy 902 Kč
Tengo miedo torero PEDRO LEMEBEL / Kniha Brožovaná
common.buy 541 Kč
Jak myšák Felix zachránil Vánoce Alex T. Smith / Kniha Pevná
common.buy 315 Kč
Islamisches Recht in Theorie und Praxis Khalfaoui Mouez Khalfaoui / E-kniha Adobe ePub DRM
common.buy 828 Kč
El ocaso de occidente Luis Saez Rueda / E-kniha Adobe ePub DRM
common.buy 346 Kč
Top
Ako funguje hasičské auto? Lara Bryan / Kniha Leporelo
common.buy 233 Kč
ET SI CR ROSE / Kniha Brožovaná
common.buy 212 Kč
TENEBRIS Michaela Brnková / Kniha Brožovaná
common.buy 342 Kč
Die Löwen von Onur Sandra Gernt / Kniha Brožovaná
common.buy 472 Kč
Programa de técnicas de trabajo intelectual. Cuaderno 2 Pilar Alonso Díez / Kniha Brožovaná
common.buy 270 Kč
Technika Pracovný zošit pre 6. ročník ZŠ Eleonóra Boocová / Kniha Brožovaná
common.buy 59 Kč
Starken und Schwachen agiler Softwareentwicklungsmodelle Thomas Ecker / Kniha Brožovaná
common.buy 1 075 Kč
VW Käfer 1200/1300/1500/1302/S/1303/S alle Modelle ab August '69 Dieter Korp / Kniha Kniha
common.buy 666 Kč
Le Role de la France Au Maroc Romagny-J / Kniha Brožovaná
common.buy 412 Kč
Quellen zur Metallverarbeitung im Nordischen Kreis der Bronzezeit Detlef Jantzen / Kniha Pevná
common.buy 4 565 Kč
Türk Siyasetinin Yapisal Analizi 1 Hasan Bülent Kahraman / Kniha Brožovaná
common.buy 211 Kč
El ojo del espíritu : una visión integral para un mundo que está enloqueciendo poco a poco Ken Wilber / Kniha Brožovaná
common.buy 799 Kč
La medicina compostelana (1847-1950) AVELINO FRANCO GRANDE / Kniha Brožovaná
common.buy 1 842 Kč
Paradis conjugal Ferney / Kniha Brožovaná
common.buy 309 Kč
Mein musikalisches Bilderbuch (Bd. 2) - Ferdinand sucht einen Freund Maria Köhnen / Kniha Pevná
common.buy 290 Kč
A Flower Book (Simplified Chinese): 10 Hanyu Pinyin with IPA Paperback Color H y Xiao Phd / Kniha Brožovaná
common.buy 879 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Software Engineering and Formal Methods
Autor Gilles Barthe, Alberto Pardo, Gerardo Schneider
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2011
Počet stran 504
EAN 9783642246890
ISBN 3642246893
Libristo kód 01659065
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 777
Rozměry 155 x 235 x 30

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika
Výpočetní a informační technologie > Počítačový hardware > Síťová zařízení
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Informatika > Umělá inteligence
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Modern Theory of Crystal Growth I A.A. Chernov / Kniha Brožovaná
common.buy 2 356 Kč
The House of Barbary Isabelle Schuler / Kniha Brožovaná
common.buy 361 Kč
The Hymns of Hermes: Echoes from the Gnosis G R S Mead / Kniha Brožovaná
common.buy 354 Kč
The Iceblade Sorcerer Shall Rule the World 6 Nana Mikoshiba / Kniha Brožovaná
common.buy 223 Kč
Business Model Innovation DANIELA ANDREINI / Kniha Brožovaná
common.buy 2 826 Kč
Top
Infernium Julie Belfield / Kniha Pevná
common.buy 599 Kč
Enigma: The Battle for the Code Hugh Sebag-Montefiore / Kniha Pevná
common.buy 675 Kč
Fun Games and Activities for kids 4 years + Maryan Ben Kim / Kniha Brožovaná
common.buy 359 Kč
Mountain Terror (Mills & Boon Heroes) (Eagle Mountain Search and Rescue, Book 3) Cindi Myers / E-kniha Adobe ePub DRM
common.buy 77 Kč
Biainili-Urartu: The Proceedings of the Symposium Held in Munich 12-14 October 2007 / Tagungsbericht Des Munchner Symposiums 12.-14. Ok C. Gruber / Kniha Pevná
common.buy 4 269 Kč
Predictive Control for Linear and Hybrid Systems Francesco Borrelli / Kniha Pevná
common.buy 3 991 Kč
Cambridge English Movers 1 for Revised Exam from 2018 Answer Booklet collegium / Kniha Brožovaná
common.buy 65 Kč
Resurrection Of A Dying Breed Abdul Damal Chappell / Kniha Brožovaná
common.buy 350 Kč
To all Those with Aberrant Brains!: The Complete Works of Freidrich Nietzche Friedrich Nietzche / Kniha Brožovaná
common.buy 243 Kč
The Decline of Politics: The Conservatives and the Party System, 1901-1920 John English / Kniha Brožovaná
common.buy 455 Kč
Positive School Leadership Joseph F. Murphy / Kniha Brožovaná
common.buy 1 110 Kč
Samba, Blues and Jazz Ruben Oliven / Kniha Pevná
common.buy 5 806 Kč
Janus Conspiracy MICHAEL DAVIES / Kniha Brožovaná
common.buy 451 Kč
Junji Ito Collection Coloring Book Junji Ito / Kniha Brožovaná
common.buy 282 Kč
The Secret Book: Discover the Hidden Treasures Within You Michael Kintalel / Kniha Brožovaná
common.buy 222 Kč
Lucky Luke: The Complete Collection Vol. 2 Goscinny / Kniha Pevná
common.buy 903 Kč
Rules and Regulations for the Guidance of Employees and Others [microform] Canadian Pacific Railway Company / Kniha Brožovaná
common.buy 395 Kč
Compassionate Commitment JAMES FARWELL / Kniha Brožovaná
common.buy 322 Kč
Loud House #10 The Loud House Creative Team / Kniha Pevná
common.buy 286 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?