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 Rohit Gheyi
Kod Libristo: 01662107
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, sierpień 2012
This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SB... Cały opis
? points 200 b
340.20 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ć

TOP
Petrolejové lampy Jaroslav Havlíček / Miękka
common.buy 20.33 zł
Česko-anglický slovník spojení: podstatné jméno a sloveso Norah Hronková / Miękka
common.buy 65.10 zł
Dark Ages and the Age of Gold Russell A. Fraser / Twarda
common.buy 879.64 zł
Die ordentliche Änderungskündigung des Arbeitgebers. Franz X. Wallner / Miękka
common.buy 422.47 zł
Planning After Petroleum / Twarda
common.buy 1 007.17 zł
People's Platform Astra Taylor / Miękka
common.buy 64.70 zł
Event of Death: a Phenomenological Enquiry I. Leman-Stefanovic / Miękka
common.buy 793.69 zł
Datenvisualisierung boolescher Anfragen Dianqiang Yang / Miękka
common.buy 221.55 zł
Journeying Wave Richmal Crompton / Twarda
common.buy 153.05 zł
Logic for Concurrency and Synchronisation R.J. De Queiroz / Miękka
common.buy 516.10 zł
Interfacing PIC Microcontrollers Martin Bates / Miękka
common.buy 274.10 zł
Handbuch Der Ziehtechnik Walter Sellin / Miękka
common.buy 284.76 zł
Intercultural Issues in Online Communication Verena Wiedmaier / Miękka
common.buy 608.63 zł
Piano Exam Pieces 2015 & 2016, Grade 5 / Twarda
common.buy 81.25 zł
Ballad And The Source Rosamond Lehmann / Miękka
common.buy 66.80 zł
Grenzüberschreitende Titelgeltung in der Europäischen Union. Max Christoph Peiffer / Miękka
common.buy 468.93 zł

This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 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 Rohit Gheyi, David Naumann
Język Angielski
Oprawa Książka - Miękka
Data wydania 2012
Liczba stron 227
EAN 9783642332951
ISBN 3642332951
Kod Libristo 01662107
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 373
Wymiary 155 x 235 x 14

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