Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.
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
Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.
Darmowa dostawa dla zamówień powyżej 299,00 zł.
Integrated Formal Methods
4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004.Proceedings
Język
Angielski
Angielski
Książka
Miękka
This book constitutes the refereed proceedings of the 4th International Conference on Integrated For...
Cały opis
Kod Libristo: 01559229
?
125 b
125 b
219.03
zł
Dostępna u dostawcy
Wysyłamy za 5-8 dni
30 dni na zwrot towaru
Klienci kupili także
/
Miękka
120.15
zł
This book constitutes the refereed proceedings of the 4th International Conference on Integrated Formal Methods, IFM 2004, held in Canterbury, UK, in April 2004.The 24 revised full papers presented together with 3 invited papers and one invited tutorial chapter were carefully reviewed and selected from 65 submissions. The papers are devoted to automating program analysis, state/event-based verification, formalizing graphical notions, refinement, object-orientation, hybrid and timed automata, integration frameworks, verifying interactive systems, and testing and assertions.
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
Integrated Formal Methods
Autor
Eerke A. Boiten, John Derrick, Graeme Smith
Język
Angielski
Angielski
Oprawa
Książka - Miękka
Data wydania
2004
Liczba stron
548
EAN
9783540213772
ISBN
3540213775
Kod Libristo
01559229
Wydawnictwo
Springer, Berlin
Waga
820
Wymiary
156 x 234 x 28
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
