Vážení zákazníci, z technických dôvodov nie je dnes zákaznícka podpora k dispozícii. Vašim požiadavkám sa budeme venovať nasledujúci pracovný deň. Ďakujeme za pochopenie.

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Vážení zákazníci, z technických dôvodov nie je dnes zákaznícka podpora k dispozícii. Vašim požiadavkám sa budeme venovať nasledujúci pracovný deň. Ďakujeme za pochopenie.

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Software Engineering and Formal Methods

Name: Software Engineering and Formal Methods
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01659065
Price: 57.35 EUR
Availability: InStock
Author: Gilles Barthe
ISBN: 9783642246890

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

Gilles Barthe

Alberto Pardo

Gerardo Schneider

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01659065

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, október 2011

This book constitutes the refereed proceedings of the 9th International Conference on Software Engin... Celý popis

Libristo kód: 01659065

139 b

57.35 €

50 % šanca Prehľadáme celý svet Kedy knihu dostanem?

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

ROMANCE DE L'AVENT - UN C?UR POUR NOËL Sophie JOMAIN

Kniha

24.07 €

Teoría crítico-estructuralista del Derecho mercantil Salomão Filho

Brožovaná

37.42 €

Histoire Géographie Histoire des Arts CM2 Goasdoue

Brožovaná

22.04 €

Ako funguje hasičské auto? Lara Bryan

Leporelo

8.28 €

TENEBRIS Michaela Brnková

Brožovaná

11.72 €

Technika Pracovný zošit pre 6. ročník ZŠ Eleonóra Boocová

Brožovaná

2.11 €

Jak myšák Felix zachránil Vánoce Alex T. Smith

Pevná

12.03 €

PLAY GUITAR TODAY SPIEL GITARRE (DVD) (DVD) Kniha

binding.

28.21 €

Idrissa Kaba une histoire de vie. Témoignage Mamoudou Kabala Kabiné Kaba

Brožovaná

10.00 €

LUCES Y SOMBRAS DE LA CULTURA CATÓLICA EN EL SIGLO XX Antonio Martín Puerta

Brožovaná

23.26 €

Perros detectores de cadáveres CAT WARREN

Pevná

25.99 €

Kirchliche Hochschulen Ulrich Rhode

Pevná

49.86 €

Mein musikalisches Bilderbuch (Bd. 2) - Ferdinand sucht einen Freund Maria Köhnen

Pevná

12.74 €

La medicina compostelana (1847-1950) AVELINO FRANCO GRANDE

Brožovaná

80.61 €

El ojo del espíritu : una visión integral para un mundo que está enloqueciendo poco a poco Ken Wilber

Brožovaná

33.07 €

Türk Siyasetinin Yapisal Analizi 1 Hasan Bülent Kahraman

Brožovaná

9.20 €

Le Role de la France Au Maroc Romagny-J

Brožovaná

16.58 €

VW Käfer 1200/1300/1500/1302/S/1303/S alle Modelle ab August '69 Dieter Korp

Kniha

29.43 €

Dr. Martin Luther Wilhelm Behrendt

Brožovaná

29.43 €

Starken und Schwachen agiler Softwareentwicklungsmodelle Thomas Ecker

Brožovaná

47.23 €

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 pre

Prehrať video

Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Software Engineering and Formal Methods

Autor Gilles Barthe, Alberto Pardo, Gerardo Schneider

Jazyk

Angličtina

Väzba Kniha - Brožovaná

Dátum vydania 2011

Počet strán 504

EAN 9783642246890

ISBN 3642246893

Libristo kód 01659065

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Váha 777

Rozmery 155 x 235 x 30

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika

Výpočtové a informačné technológie > Počítačový hardvér > Sieťové zariadenia

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Prekladače a interpretre

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Softvérové inžinierstvo

Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn

Výpočtové a informačné technológie > Informatika > Umelá inteligencia