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ć

Formal Methods: Foundations and Applications

Język AngielskiAngielski
Książka Miękka
Książka Formal Methods: Foundations and Applications Adenilso Simao
Kod Libristo: 01659166
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, październik 2011
This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symp... Cały opis
? points 195 b
332.10 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ć

Kameny a hvězdy Václav Cílek / Twarda
common.buy 44.81 zł
Rota Fortunae THIRTEEN O'CL PRESS / Miękka
common.buy 66.81 zł
Computer Aided Architectural Design Futures 2001 Bauke de Vries / Twarda
common.buy 1 538.82 zł
Excel 2013 for Scientists Dr. Gerard Verschuuren / Miękka
common.buy 121.03 zł
Gerichtsbarkeit in der Tschechischen Republik Karel Schelle / Miękka
common.buy 935.91 zł
Super M - Mathematik für alle - Östliche Bundesländer und Berlin - 2. Schuljahr Klaus Heinze / Karta
common.buy 48.91 zł
Geometry and Differential Geometry Rafael Artzy / Miękka
common.buy 280.89 zł

This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice. The 13 revised full papers were carefully reviewed and selected from 37 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.

Informacje o książce

Pełna nazwa Formal Methods: Foundations and Applications
Autor Adenilso Simao, Carroll Morgan
Język Angielski
Oprawa Książka - Miękka
Data wydania 2011
Liczba stron 205
EAN 9783642250316
ISBN 3642250319
Kod Libristo 01659166
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 338
Wymiary 155 x 235 x 15

Kategoria

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