phone 02/210 210 99
LIBRISTO 0
Doprava zadarmo s Packetou nad 59.99 €
Pošta 4.49 € SPS 4.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.99 € Packeta kurýr 4.99 € Packeta 2.99 € SPS Parcel Shop 2.99 €
phone Kontakt phoneAko nakupovať

Formal Methods and Software Engineering

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Methods and Software Engineering Karin Breitman
Libristo kód: 01655066
Nakladateľstvo Springer, Berlin, október 2009
This book constitutes the refereed proceedings of the 11th International Conference on Formal Engine... Celý popis
? points 304 b
120.75 €
Skladom u dodávateľa v malom množstve Odosielame za 13-16 dní

30 dní na vrátenie tovaru

Mohlo by vás tiež zaujímať

Pippi Longstocking Astrid Lindgren / Brožovaná
common.buy 10.56 €
Cuentos de amor, de locura y de muerte Horacio Quiroga / Brožovaná
common.buy 10.05 €
Aggressiv Flirten Michael Wiesner / Brožovaná
common.buy 14.58 €
Letters, Hitherto Unpublished, Written by Members of Sir Walter Scott's Family to Their Old Governess Anne Scott / Pevná
common.buy 37.63 €
Grenzen gestalten, Bildbar-KartenSet. Tl.2 Margit Kühne-Eisendle / List
common.buy 37.93 €
Marktwirtschaft Im Unternehmen Conrad Mauritz / Brožovaná
common.buy 66.61 €
Financial Reform in Central and Eastern Europe Zdenek Drabek / Pevná
common.buy 185.76 €
Curso de derecho administrativo laboral Ángel Blasco Pellicer / Brožovaná
common.buy 44.57 €
Grundformen der Angst Fritz Riemann / Pevná
common.buy 21.83 €
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 47.79 €
Auf dem Weg in einen »neuen Rechtsstaat«. Rainer Pitschas / Brožovaná
common.buy 94.19 €
Mark Aurels Selbstgesprache Marcus Aurelius Antonius / Brožovaná
common.buy 27.16 €
LOW 01: EL DELIRIO DE LA ESPERANZA REMENDER / Brožovaná
common.buy 17.70 €
State Crisis in Fragile Democracies Samuel Handlin / Brožovaná
common.buy 45.78 €
Lonely Dead Michael Marshall / Brožovaná
common.buy 12.07 €

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.

Informácie o knihe

Celý názov Formal Methods and Software Engineering
Autor Karin Breitman, Ana Cavalcanti
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2009
Počet strán 757
EAN 9783642103728
ISBN 3642103723
Libristo kód 01655066
Nakladateľstvo Springer, Berlin
Váha 1169
Rozmery 155 x 235 x 30

Kategórie

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 > Teória algoritmov
Výpočtové a informačné technológie > Operačné systémy
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

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

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet