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

FM 2014: Formal Methods

Język AngielskiAngielski
Książka Miękka
Książka FM 2014: Formal Methods Cliff Jones
Kod Libristo: 02581552
Wydawnictwo Springer International Publishing AG, marzec 2014
This book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods... Cały opis
? points 304 b
516.53 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni
Polska common.delivery_to

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

Las Puertas de la Percepción - Cielo E Infierno / The Doors of Perception & Heaven and Hell Aldous Huxley / Miękka
common.buy 37.91 zł
First Ladies of Rome Annelise Freisenbruch / Miękka
common.buy 78.73 zł
Green Energy: Technologies and Systems DAVID MCCARTNEY / Twarda
common.buy 548.97 zł
Exterior Billiards Alexander Plakhov / Twarda
common.buy 261.85 zł
Decouverte Des Grandes Sources Du Centre de l'Afrique: Rivieres de Vie, Rivieres de Mort, Nana Lenfant-E / Miękka
common.buy 114.65 zł
Other Jerome K Jerome Martin Green / Miękka
common.buy 77.03 zł
Des Finances Publiques En France De Menainville-E / Miękka
common.buy 62.26 zł
England and South Africa. Edward J Gibbs / Miękka
common.buy 94.20 zł

This book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods, FM 2014, held in Singapore, May 2014. The 45 papers presented together with 3 invited talks were carefully reviewed and selected from 150 submissions. The focus of the papers is on the following topics: Interdisciplinary Formal Methods, Practical Applications of Formal Methods in Industrial and Research Settings, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools.

Informacje o książce

Pełna nazwa FM 2014: Formal Methods
Autor Cliff Jones, Pekka Pihlajasaari, Jun Sun
Język Angielski
Oprawa Książka - Miękka
Data wydania 2014
Liczba stron 750
EAN 9783319064093
ISBN 3319064096
Kod Libristo 02581552
Wydawnictwo Springer International Publishing AG
Waga 1157
Wymiary 155 x 235 x 40

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Interakcja człowiek-komputer > Projektowanie i ergonomia interfejsu użytkownika
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Interakcja człowiek-komputer > Architektura informacji
Informatyka i technologie informacyjne (IT) > Sprzęt komputerowy > Konserwacja i naprawa komputerów i sprzętu informatycznego
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
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