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č PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 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 139 b
1 386 Kč
50 % šance Prohledáme celý svět Kdy knihu dostanu?

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 582 Kč
Ako funguje hasičské auto? Lara Bryan / Kniha Leporelo
common.buy 213 Kč
Starken und Schwachen agiler Softwareentwicklungsmodelle Thomas Ecker / Kniha Brožovaná
common.buy 1 076 Kč
TENEBRIS Michaela Brnková / Kniha Brožovaná
common.buy 284 Kč
Technika Pracovný zošit pre 6. ročník ZŠ Eleonóra Boocová / Kniha Brožovaná
common.buy 53 Kč
PLAY GUITAR TODAY SPIEL GITARRE (DVD) (DVD) Kniha binding.
common.buy 683 Kč
Jak myšák Felix zachránil Vánoce Alex T. Smith / Kniha Pevná
common.buy 269 Kč
Idrissa Kaba une histoire de vie. Témoignage Mamoudou Kabala Kabiné Kaba / Kniha Brožovaná
common.buy 229 Kč
Perros detectores de cadáveres CAT WARREN / Kniha Pevná
common.buy 630 Kč
VW Käfer 1200/1300/1500/1302/S/1303/S alle Modelle ab August '69 Dieter Korp / Kniha Kniha
common.buy 667 Kč
Kirchliche Hochschulen Ulrich Rhode / Kniha Pevná
common.buy 1 142 Kč
Le Role de la France Au Maroc Romagny-J / Kniha Brožovaná
common.buy 402 Kč
La medicina compostelana (1847-1950) AVELINO FRANCO GRANDE / Kniha Brožovaná
common.buy 1 842 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 803 Kč
Türk Siyasetinin Yapisal Analizi 1 Hasan Bülent Kahraman / Kniha Brožovaná
common.buy 211 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 357 Kč
The House of Barbary Isabelle Schuler / Kniha Brožovaná
common.buy 362 Kč
The Iceblade Sorcerer Shall Rule the World 6 Nana Mikoshiba / Kniha Brožovaná
common.buy 205 Kč
The Hymns of Hermes: Echoes from the Gnosis G R S Mead / Kniha Brožovaná
common.buy 346 Kč
Business Model Innovation DANIELA ANDREINI / Kniha Brožovaná
common.buy 2 827 Kč
The Secret Book: Discover the Hidden Treasures Within You Michael Kintalel / Kniha Brožovaná
common.buy 217 Kč
Enigma: The Battle for the Code Hugh Sebag-Montefiore / Kniha Pevná
common.buy 657 Kč
Predictive Control for Linear and Hybrid Systems Francesco Borrelli / Kniha Pevná
common.buy 3 930 Kč
Cambridge English Movers 1 for Revised Exam from 2018 Answer Booklet collegium / Kniha Brožovaná
common.buy 65 Kč
The Decline of Politics: The Conservatives and the Party System, 1901-1920 John English / Kniha Brožovaná
common.buy 444 Kč
Positive School Leadership Joseph F. Murphy / Kniha Brožovaná
common.buy 1 113 Kč
Janus Conspiracy MICHAEL DAVIES / Kniha Brožovaná
common.buy 512 Kč
Lucky Luke: The Complete Collection Vol. 2 Goscinny / Kniha Pevná
common.buy 904 Kč
Loud House #10 The Loud House Creative Team / Kniha Pevná
common.buy 275 Kč
Confessions of a Recovering Engineer - Transportation for a Strong Town Charles L. Marohn Jr. / Kniha Pevná
common.buy 428 Kč
New Names for Lost Things Noor Unnahar / Kniha Brožovaná
common.buy 244 Kč
Fun Games and Activities for kids 4 years + Maryan Ben Kim / Kniha Brožovaná
common.buy 350 Kč
Briana's Pocket Posh Journal, Chevron Andrews McMeel Publishing / Kniha Brožovaná
common.buy 175 Kč
Glorious Revolution John Miller / Kniha Brožovaná
common.buy 1 379 Kč
Poirot Investigates Agatha Christie / Kniha Pevná
common.buy 339 Kč
Připravujeme
Dispute Settlement Reports 1998: Volume 2, Pages 233-696 World Trade Organization / Kniha Pevná
common.buy 4 931 Kč
Collected Works of Michal Kalecki: Volume VI: Studies in Applied Economics 1927-1941 Michal Kalecki / Kniha Pevná
common.buy 7 902 Kč
Multiple Criteria Decision Aiding Evangelos Grigoroudis / Kniha Brožovaná
common.buy 3 557 Kč
Tapestry of the Law E. Attwooll / Kniha Brožovaná
common.buy 2 357 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?