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ć

Software Engineering and Formal Methods

Język AngielskiAngielski
Książka Miękka
Książka Software Engineering and Formal Methods Dimitra Giannakopoulou
Kod Libristo: 05147842
Wydawnictwo Springer International Publishing AG, lipiec 2014
This book constitutes the refereed proceedings of the 12th International Conference on Software Engi... Cały opis
? points 154 b
262.97 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ć

Zapowiedź
US Marine Corps Handbook 1941-45 George Forty / Twarda
common.buy 127.87 zł
X-Men: The Hidden Years Jim Shooter / Miękka
common.buy 28.85 zł
Die schrillen Vier auf Achse / Hilfe, die Amis kommen, 2 Blu-rays Pembroke J. Herring / Blu-ray
common.buy 80.27 zł
Quantitative Logic And Soft Computing - Proceedings Of The Ql&sc 2012 Yongming Li / Twarda
common.buy 1 247.25 zł
Recent Developments in the Economics of Science and Innovation / Twarda
common.buy 1 880.96 zł
Zapowiedź
Peace and Conflict 2008 J. Joseph Hewitt / Miękka
common.buy 174.18 zł
John Stainer Jeremy Dibble / Twarda
common.buy 778.31 zł
Anatomia Coniunctionis Magnae. Oder Beschreibung der grossen und wol mercklichen Zusammenkunfft beyder obersten Planeten Saturns und Jupiters, Welche Carl von Reifitz / Miękka
common.buy 133.89 zł

This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014.§The 23 full papers presented together with 3 invited and 6 tool papers were carefully reviewed and selected from 106 submissions. They are organized in topical section on program verification, testing, component-based systems, real-time and embedded systems, model checking and automata learning, program correctness, and adaptive and multi-agent systems.

Informacje o książce

Pełna nazwa Software Engineering and Formal Methods
Autor Dimitra Giannakopoulou, Gwen Salaün
Język Angielski
Oprawa Książka - Miękka
Data wydania 2014
Liczba stron 394
EAN 9783319104300
ISBN 3319104306
Kod Libristo 05147842
Wydawnictwo Springer International Publishing AG
Waga 6263
Wymiary 155 x 235 x 235

Kategoria

Informatyka i technologie informacyjne (IT) > Sprzęt komputerowy > Urządzenia sieciowe
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) > 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