Darmowa dostawa dla zamówień powyżej 299,00 zł.
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści.
Załóż konto bezpłatnie
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł
Poczta Polska 18.99 zł
Paczkomat 13.99 zł
InPost 12.99 zł
Punkt DPD 13.99 zł
Kontakt
Jak kupować
Pomoc
Dostawa
DPD Kurier 12.99 zł
Poczta Polska 18.99 zł
Paczkomat 13.99 zł
InPost 12.99 zł
Punkt DPD 13.99 zł
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
Doradca ds. zakupów
Jesteśmy tu dla Ciebie!
(32) 444 93 66
Moje konto
▸
Pusty :-(
0
Darmowa dostawa dla zamówień powyżej 299,00 zł.
Formal Methods and Software Engineering
10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings
Język
Angielski
Angielski
Książka
Miękka
This book constitutes the refereed proceedings of the 10th International Conference on Formal Engine...
Cały opis
Kod Libristo: 01570773
?
142 b
142 b
Gwarancja
najlepszej
ceny ▸
najlepszej
ceny ▸
247.55
zł
Dostępna u dostawcy w małych ilościach
Wysyłamy za 13-18 dni
30 dni na zwrot towaru
Klienci kupili także
/
Miękka
298.77
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.
Aktorka
&
Poliglotka
EWA KASP
dla
Odtworzyć wideo
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.
Informacje o książce
Pełna nazwa
Formal Methods and Software Engineering
Autor
Shaoying Liu, Tom Maibaum, Keijiro Araki
Język
Angielski
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
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 obdarowanegoMogłoby Cię także zainteresować
/
Miękka
36.17
zł
