phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 299 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 64 Kč Zásilkovna 44 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

Formal Methods and Software Engineering

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Methods and Software Engineering Karin Breitman
Libristo kód: 01655066
Nakladatelství Springer, Berlin, října 2009
This book constitutes the refereed proceedings of the 11th International Conference on Formal Engine... Celý popis
? points 304 b
3 039 Kč
Skladem u dodavatele v malém množství Odesíláme za 10-15 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Pippi Longstocking Astrid Lindgren / Brožovaná
common.buy 239 Kč
Cuentos de amor, de locura y de muerte Horacio Quiroga / Brožovaná
common.buy 253 Kč
Aggressiv Flirten Michael Wiesner / Brožovaná
common.buy 344 Kč
Letters, Hitherto Unpublished, Written by Members of Sir Walter Scott's Family to Their Old Governess Anne Scott / Pevná
common.buy 947 Kč
LOW 01: EL DELIRIO DE LA ESPERANZA REMENDER / Brožovaná
common.buy 471 Kč
Marktwirtschaft Im Unternehmen Conrad Mauritz / Brožovaná
common.buy 1 678 Kč
Grenzen gestalten, Bildbar-KartenSet. Tl.2 Margit Kühne-Eisendle / List
common.buy 954 Kč
Financial Reform in Central and Eastern Europe Zdenek Drabek / Pevná
common.buy 4 673 Kč
Curso de derecho administrativo laboral Ángel Blasco Pellicer / Brožovaná
common.buy 1 066 Kč
Grundformen der Angst Fritz Riemann / Pevná
common.buy 548 Kč
Essai sur la litterature merveilleuse des noirs, suivi de Contes indigenes de l'Ouest africain francais - Tome premier François Victor Équilbecq / Pevná
common.buy 1 201 Kč
State Crisis in Fragile Democracies Samuel Handlin / Brožovaná
common.buy 1 152 Kč
Lonely Dead Michael Marshall / Brožovaná
common.buy 303 Kč
Mark Aurels Selbstgesprache Marcus Aurelius Antonius / Brožovaná
common.buy 683 Kč
Auf dem Weg in einen »neuen Rechtsstaat«. Rainer Pitschas / Brožovaná
common.buy 2 368 Kč

This book constitutes the refereed proceedings of the 11th International Conference on Formal Engineering Methods, ICFEM 2009, held in Rio de Janeiro, Brazil, December 2009.§The 36 revised full papers together with two invited talks presented were carefully reviewed and selected from 121 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on Testing, Protocols, verification, model checking, object-orientation, event-b, compilation, process algebra, refinement, algebraic specifications and real-time systems.

Informace o knize

Plný název Formal Methods and Software Engineering
Autor Karin Breitman, Ana Cavalcanti
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2009
Počet stran 757
EAN 9783642103728
ISBN 3642103723
Libristo kód 01655066
Nakladatelství Springer, Berlin
Váha 1169
Rozměry 155 x 235 x 30

Kategorie

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 > Teorie algoritmů
Výpočetní a informační technologie > Operační systémy
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

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