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ł ORLEN Paczka 10.99 zł Poczta Polska 18.99 zł
phone Kontakt phoneJak kupować

Formal Methods and Software Engineering

Język AngielskiAngielski
Książka Miękka
Książka Formal Methods and Software Engineering Shaoying Liu
Kod Libristo: 01570773
Wydawnictwo Springer, Berlin, listopad 2007
This book constitutes the refereed proceedings of the 10th International Conference on Formal Engine... Cały opis
? points 154 b
261.63 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ć

Grenzen, Nähe, Respekt Jesper Juul / Miękka
common.buy 48.55 zł
Microelectronics Education Ton J. Mouthaan / Twarda
common.buy 473.22 zł
Programmieren Lernen Peter Pepper / Miękka
common.buy 238.40 zł
Finanzpolitik im Umbruch: Zur Konsolidierung öffentlicher Haushalte. Hans Herbert von Arnim / Miękka
common.buy 301.81 zł
Richterrecht und Verfassung. Jörn Ipsen / Miękka
common.buy 283.27 zł
Statistical Analysis of Environmental Space-Time Processes Nhu D. Le / Miękka
common.buy 793.69 zł
Orienting Polymers J.-L. Ericksen / Miękka
common.buy 192.13 zł
NUMIFORM 2010 Frederic Barlat / Miękka
common.buy 2 185.76 zł

This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM 2008, held in Kitakyushu-City, Japan, October 2008.§The 20 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 62 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification and verification; testing; verification; model checking and analysis; tools; application of formal methods; semantics.

Informacje o książce

Pełna nazwa Formal Methods and Software Engineering
Autor Shaoying Liu, Tom Maibaum, Keijiro Araki
Język Angielski
Oprawa Książka - Miękka
Data wydania 2008
Liczba stron 397
EAN 9783540881933
ISBN 354088193X
Kod Libristo 01570773
Wydawnictwo Springer, Berlin
Waga 635
Wymiary 155 x 235 x 21

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
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) > 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