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 for Executable Software Models

Język AngielskiAngielski
Książka Miękka
Książka Formal Methods for Executable Software Models Marco Bernardo
Kod Libristo: 02667827
Wydawnictwo Springer International Publishing AG, maj 2014
This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the Inter... Cały opis
? points 154 b
261.68 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ć

Enlightenment Phantasies Harold Mah / Miękka
common.buy 201.94 zł
Neoliberalism and Cultural Transition in New Zealand Literature, 1984-2008 Jennifer Lawn / Twarda
common.buy 689.61 zł
Fluctuational Effects in the Dynamics of Liquid Crystals E.I. Kats / Twarda
common.buy 516.18 zł
Reptilien Und Amphibien Deutschlands in Wort Und Bild Hermann Lachmann / Miękka
common.buy 533.14 zł
Emerging Trends in International Law on Secession Jelena Pifat / Miękka
common.buy 520.77 zł
Black Mountains Ordnance Survey / Mapa
common.buy 78.68 zł
Foundation Core GCSE Maths 1-3 Michael White / Miękka
common.buy 66.61 zł
de la Distribution Des Bulletins de Vote Par Les Agents Salaries Des Communes Andral-P / Miękka
common.buy 62.22 zł
Aus Tirol - Berg- Und Gletscherreisen in Den Osterreichischen Hochalpen Anton von Ruthner / Miękka
common.buy 336.67 zł
Feathers of Color Lionel Douglass / Twarda
common.buy 103.51 zł
Controlling zwischen Shareholder Value und Stakeholder Value Regina W. Schröder / Twarda
common.buy 207.52 zł

This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2014, held in Bertinoro, Italy, in June 2014.§SFM 2014 was devoted to executable software models and covered topics such as variability models, automated analysis techniques, deductive verification, and runtime assessment and testing. The papers collected in the two parts (first part: modeling and verification; second part: run-time assessment and testing) of this volume represent the broad range of topics of the school.§

Informacje o książce

Pełna nazwa Formal Methods for Executable Software Models
Autor Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen
Język Angielski
Oprawa Książka - Miękka
Data wydania 2014
Liczba stron 343
EAN 9783319073163
ISBN 3319073168
Kod Libristo 02667827
Wydawnictwo Springer International Publishing AG
Waga 5329
Wymiary 155 x 235 x 20

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) > 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