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

FME 2001: Formal Methods for Increasing Software Productivity

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha FME 2001: Formal Methods for Increasing Software Productivity Jose N. Oliveira
Libristo kód: 01563353
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, února 2001
This book constitutes the refereed proceedings of the International Symposium of Formal Methods Euro... Celý popis
? points 331 b
3 313 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

Classroom Instruction That Works Ceri B Dean / Brožovaná
common.buy 740 Kč
Making Money Stephen Briggs / Brožovaná
common.buy 600 Kč
Escape Heleen van Royen / Brožovaná
common.buy 494 Kč
Folgebewertung des Goodwill Tino Fettback / Brožovaná
common.buy 2 578 Kč
Boys Who Rocked the World Michelle Roehm McCann / Brožovaná
common.buy 298 Kč
Aushandlung Ohne Dissens? Sarah Hitzler / Brožovaná
common.buy 1 387 Kč
Evolution Jeri Travis / Pevná
common.buy 790 Kč
Civil Rights and Beyond: African American and Latino/A Activism in the Twentieth Century United States Dan Berger / Pevná
common.buy 3 993 Kč
Banks of the Nile Todd John A / Pevná
common.buy 1 175 Kč
Catalogue Des Livres Chinois, Coreens, Japonais, Etc Tome 1 Bibliotheque Nationale / Brožovaná
common.buy 966 Kč
Das Vogtland, 1 DVD Sagenhaft-Reiseführer / DVD
common.buy 309 Kč
Russische Reise Hermann Bahr / Brožovaná
common.buy 1 042 Kč
Naturalizing Epistemic Virtue Abrol Fairweather / Pevná
common.buy 2 339 Kč
Fragmentacion del Adn de Espermatozoides Humanos Rebeca Santiso / Brožovaná
common.buy 2 281 Kč
Ausweg ins Unwirkliche Clemens Brunn / Brožovaná
common.buy 1 890 Kč

This book constitutes the refereed proceedings of the International Symposium of Formal Methods Europe, FME 2001, held in Berlin, Germany, in March 2001.The 32 revised full papers presented together with abstracts of three invited talks were carefully reviewed and selected from a total of 72 submissions. Focusing on increasing software productivity, all current aspects in formal methods are covered. Among the application areas addressed are avionics, smart cards, financial engineering, E-commerce, middleware, security, telecommunications, etc.

Informace o knize

Plný název FME 2001: Formal Methods for Increasing Software Productivity
Autor Jose N. Oliveira, Pamela Zave
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2001
Počet stran 634
EAN 9783540417910
ISBN 3540417915
Libristo kód 01563353
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 1083
Rozměry 155 x 233 x 35

Kategorie

Ekonomie, finance, obchod a management > Obchod a management > Obchodní matematika a systémy
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 > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Obchodní aplikace
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