phone (32) 444 93 66
LIBRISTO 0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł DPD 25.99 zł Paczkomat 13.99 zł Poczta Polska 18.99 zł ORLEN Paczka 10.99 zł
phone Kontakt phoneJak kupować

FME 2001: Formal Methods for Increasing Software Productivity

Język AngielskiAngielski
Książka Miękka
Książka FME 2001: Formal Methods for Increasing Software Productivity Jose N. Oliveira
Kod Libristo: 01563353
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, luty 2001
This book constitutes the refereed proceedings of the International Symposium of Formal Methods Euro... Cały opis
? points 304 b
516.53 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

Classroom Instruction That Works Ceri B Dean / Miękka
common.buy 132.52 zł
Making Money Stephen Briggs / Miękka
common.buy 94.40 zł
Aushandlung Ohne Dissens? Sarah Hitzler / Miękka
common.buy 212.95 zł
Escape Heleen van Royen / Miękka
common.buy 74.14 zł
Boys Who Rocked the World Michelle Roehm McCann / Miękka
common.buy 44.50 zł
Folgebewertung des Goodwill Tino Fettback / Miękka
common.buy 398.08 zł
Evolution Jeri Travis / Twarda
common.buy 119.85 zł
Banks of the Nile Todd John A / Twarda
common.buy 182.32 zł
Das Vogtland, 1 DVD Sagenhaft-Reiseführer / DVD
common.buy 54.88 zł
Russische Reise Hermann Bahr / Miękka
common.buy 161.26 zł
Naturalizing Epistemic Virtue Abrol Fairweather / Twarda
common.buy 395.58 zł
Ausweg ins Unwirkliche Clemens Brunn / Miękka
common.buy 291.79 zł
Civil Rights and Beyond: African American and Latino/A Activism in the Twentieth Century United States Dan Berger / Twarda
common.buy 653.85 zł
Catalogue Des Livres Chinois, Coreens, Japonais, Etc Tome 1 Bibliotheque Nationale / Miękka
common.buy 150.88 zł
Fragmentacion del Adn de Espermatozoides Humanos Rebeca Santiso / Miękka
common.buy 354.07 zł

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.

Informacje o książce

Pełna nazwa FME 2001: Formal Methods for Increasing Software Productivity
Autor Jose N. Oliveira, Pamela Zave
Język Angielski
Oprawa Książka - Miękka
Data wydania 2001
Liczba stron 634
EAN 9783540417910
ISBN 3540417915
Kod Libristo 01563353
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 1083
Wymiary 155 x 233 x 35

Kategoria

Ekonomia, finanse, biznes i zarządzanie > Biznes i zarządzanie > Matematyka i informatyka w biznesie
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Aplikacje biznesowe
Informatyka i technologie informacyjne (IT) > Systemy operacyjne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo