Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Formal Methods: Foundations and Applications

15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

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 115 b
203.39 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Handbuch Der Ziehtechnik Walter Sellin / Książka Miękka
common.buy 227.10 zł
Sindicatos, trade-unions y corporaciones Georges Renard / Książka Miękka
common.buy 144.00 zł
Der Vertrag von Lissabon Waldemar Hummer / Książka Miękka
common.buy 454.22 zł
Die ordentliche Änderungskündigung des Arbeitgebers. Franz X. Wallner / Książka Miękka
common.buy 409.02 zł
Česko-anglický slovník spojení: podstatné jméno a sloveso Norah Hronková / Książka Miękka
common.buy 67.79 zł
Grenzüberschreitende Titelgeltung in der Europäischen Union. Max Christoph Peiffer / Książka Miękka
common.buy 453.71 zł
guerre de 1870, memoires. 8e edition Helmuth von Moltke / Książka Miękka
common.buy 141.87 zł
A Química Da Memória: Por Que OS Humanos N?o Devem Comer Carne Carlos L. Partidas / Książka Miękka
common.buy 63.53 zł
Kartenspiel: Kommt gut - Das Kartenspiel für mehr Oohs und Aahs Jüne Plã / Gra/Zabawka Gra
common.buy 95.15 zł
Petrolejové lampy Jaroslav Havlíček / Książka Miękka
common.buy 22.99 zł
Datenvisualisierung boolescher Anfragen Dianqiang Yang / Książka Miękka
common.buy 214.03 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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

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

Mogłoby Cię także zainteresować

Hard Bop David H. Rosenthal / Książka Miękka
common.buy 79.55 zł
BERSERK OF GLUTTONY V10 V10 / Książka Miękka
common.buy 55.22 zł
The Holy Bible Translated From The Latin Vulgate ... The Old Testament First Published By The English College At Douay ... The New Testament At Rheims Anonymous / Książka Twarda
common.buy 216.46 zł
Pollyanna Eleanor H Porter / Książka Miękka
common.buy 42.45 zł
Social Communication in Advertising Leiss / Książka Miękka
common.buy 335.54 zł
An Oration Delivered Before the Literary Association, on Monday, the Fourth of July, 1836. William B Maclay / Książka Miękka
common.buy 51.07 zł
Fractions, Decimals and Percentages Book 4 (Year 4, Ages 8-9) Schofield & Sims / Książka Miękka
common.buy 28.47 zł
Essential Nursing Care for Children and Young People Chris Thurston / Książka Twarda
common.buy 1 014.14 zł
What You Think ADD/ADHD Is, It Isn't Barbara C. Fisher / Książka Twarda
common.buy 313.14 zł
Freshwater Fishing Tips and Techniques Gene Kugach / Książka Miękka
common.buy 73.36 zł
Aesthetics and the Theory of Criticism Arnold Isenberg / Książka Miękka
common.buy 186.06 zł
Contact with Chaos Michael Z Williamson / Książka Twarda
common.buy 93.73 zł
Journeying Wave Richmal Crompton / Książka Twarda
common.buy 102.25 zł
Piano Exam Pieces 2015 & 2016, Grade 5 / Książka Twarda
common.buy 81.37 zł
Intercultural Issues in Online Communication Verena Wiedmaier / Książka Miękka
common.buy 221.33 zł
People's Platform Astra Taylor / Książka Miękka
common.buy 63.53 zł
Logic for Concurrency and Synchronisation R.J. De Queiroz / Książka Miękka
common.buy 440.84 zł
Planning After Petroleum Jago Dodson / Książka Twarda
common.buy 1 014.14 zł
Event of Death: a Phenomenological Enquiry I. Leman-Stefanovic / Książka Miękka
common.buy 660.55 zł
Italian Renaissance in the German Historical Imagination, 1860-1930 Dr. Martin A. Ruehl / Książka Twarda
common.buy 427.56 zł
Dark Ages and the Age of Gold Russell A. Fraser / Książka Twarda
common.buy 692.17 zł
American History: A Very Short Introduction Paul S Boyer / Książka Miękka
common.buy 45.60 zł
Ballad And The Source Rosamond Lehmann / Książka Miękka
common.buy 121.71 zł
Interfacing PIC Microcontrollers Martin Bates / Książka Miękka
common.buy 241.49 zł

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
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?