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: Foundations and Applications

Język AngielskiAngielski
Książka Miękka
Książka Formal Methods: Foundations and Applications Leila Ribeiro
Kod Libristo: 15195023
Wydawnictwo Springer International Publishing AG, listopad 2016
This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SB... Cały opis
? points 154 b
261.63 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ć

Zarzadzanie ryzykiem w organizacjach non profit Domański Jarosław / Twarda
common.buy 64.90 zł
Reglement Pour Les Enfants Qui Frequentent Les Ecoles Chretiennes Derniere Edition "" / Miękka
common.buy 61.81 zł
Leber und Galle entgiften und stärken Angela Fetzner / Twarda
common.buy 85.64 zł
Excel 2013 en profundidad María Pérez Marques / Miękka
common.buy 170.40 zł
Paul Lincke Jan Kutscher / Twarda
common.buy 188.64 zł
Antony Alexandre Dumas / Miękka
common.buy 54.73 zł
Des Diverses Methodes de Traitement Chirurgical Des Nevralgies Du Nerf Maxillaire Inferieur CHARMENSAT-A / Miękka
common.buy 78.96 zł
THE RAINBOW FEATHER FERGUS HUME / Twarda
common.buy 152.25 zł
Not Just for This Life: Gough Whitlam Remembered Gary Gray / Miękka
common.buy 149.66 zł
SPA-RIGBY PM COLECCION Rigby / Twarda
common.buy 330.13 zł
Romeo und Gisela. Ein generationenübergreifendes Theaterstück und geragogisches Praxisbeispiel Veronika Siegrist / Miękka
common.buy 62.91 zł
A SPANISH DIARY IN 1882 ALEXANDER KILGOUR / Twarda
common.buy 165.01 zł

This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016. The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.

Informacje o książce

Pełna nazwa Formal Methods: Foundations and Applications
Autor Leila Ribeiro, Thierry Lecomte
Język Angielski
Oprawa Książka - Miękka
Data wydania 2016
Liczba stron 253
EAN 9783319498140
ISBN 3319498142
Kod Libristo 15195023
Wydawnictwo Springer International Publishing AG
Waga 4044
Wymiary 155 x 235 x 16

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Interakcja człowiek-komputer > Architektura informacji
Informatyka i technologie informacyjne (IT) > Aplikacje graficzne i dla nowych mediów > Grafika i modelowanie 3D
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 > 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