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

14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings

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 146 b
256.03 zł
Dostępna u dostawcy Wysyłamy za 10-18 dni

30 dni na zwrot towaru

Klienci kupili także

Die Polysaccharide Hans Pringsheim / Książka Miękka
common.buy 327.62 zł
SUZUME OFFICIAL VISUAL GUIDE (ARTBOOK VO JAPONAIS) Makoto Shinkai / Książka Miękka
common.buy 151.12 zł
2019 ELECCIO GOURMAND. GUIA DE RESTAURANTS I HOTELS DE CATA LLOVELL / Książka Miękka
common.buy 112.66 zł
LA MALDICIóN DE JACINTA PICHIMAHUIDA PUENZO / Książka Miękka
common.buy 75.91 zł
TOP
Mágikus világok Johanna Basford / Książka Miękka
common.buy 51.84 zł
Miasto gangow. Ukryte swiaty Rio de Janeiro Czeszumski / Audiobook MP3
common.buy 30.40 zł
Монстр продаж. Как чертовски хорошо продавать и богатеть И. Рызов / Książka Miękka
common.buy 85.37 zł
El profesor de inglés Wang Gang / Książka Miękka
common.buy 99.97 zł
Die pädagogische Relevanz von Rousseaus "Emil" Anonym / Książka Miękka
common.buy 68.86 zł
Das Gehirn Marc Dingman / Książka Twarda
common.buy 72.08 zł
LO QUE APRENDÍ HASTA LOS 30 JORGE LORENZO GUERRERO / Książka Miękka
common.buy 33.72 zł
TOP
Jak napsat dobrý scénář Syd Field / Książka Twarda
common.buy 48.32 zł
Piensa, es gratis Joaquín Lorente Soler / Książka Miękka
common.buy 85.27 zł
Evaluacion de la eficiencia del riego en sistema Enrollador en Amancio Gonzalez Perez Jorge Alfredo / Książka Miękka
common.buy 151.62 zł
Pilates und Dehnung. Eine symbiotische Verbindung Stephanie Gebauer / Książka Miękka
common.buy 114.27 zł
Gerichtsbarkeit in der Tschechischen Republik Karel Schelle / Książka Miękka
common.buy 200.86 zł
Bedeutung des Tai Chi Chuan fur die Gesundheitspravention Maria Theresia Bitterli / Książka Miękka
common.buy 61.31 zł
Geometry and Differential Geometry Rafael Artzy / Książka Miękka
common.buy 197.53 zł
Produktionseigenarten der chemischen Industrie, ihr Einfluß auf Kalkulation und Programmgestaltung. Bernhard Weblus / Książka Miękka
common.buy 160.48 zł
Super M - Mathematik für alle - Östliche Bundesländer und Berlin - 2. Schuljahr Klaus Heinze / Książka Karta
common.buy 55.67 zł
Kameny a hvězdy Václav Cílek / Książka Twarda
common.buy 53.45 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.

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

Mogłoby Cię także zainteresować

Advanced Methods for Computational Collective Intelligence Geun-Sik Jo / Książka Miękka
common.buy 656.26 zł
Mister Rainbow C. S. Boag / Książka Miękka
common.buy 139.04 zł
Solar Eclipse Daniel Greene / Książka Miękka
common.buy 40.06 zł
The Automobile Green Book Automobile Legal Association / Książka Miękka
common.buy 78.22 zł
The Sleep Gas / Książka Miękka
common.buy 79.03 zł
I Am Bunter: How to Manipulate Your Humans and Keep Them Firmly Under Your Paw Pippin Mole / Książka Miękka
common.buy 55.57 zł
LEGO Star Wars Awesome Vehicles DK / Książka Twarda
common.buy 67.15 zł
Valuing Films L. Hubner / Książka Miękka
common.buy 226.73 zł
Pro Angular Adam Freeman / E-book Adobe ePub DRM
common.buy 312.11 zł
Aesops Fables Jerry Pinkney / Książka Twarda
common.buy 69.76 zł
Puzzle Ignacio Gonz Li N / Książka Miękka
common.buy 56.78 zł
Anti-Disturbance Control for Systems with Multiple Disturbances Songyin Cao / Książka Twarda
common.buy 1 303.36 zł
READ THE BIBLE SMARTER NOT HARDER CHRISTOPHER R SMITH / Książka Miękka
common.buy 88.89 zł
National Uncanny Renee L. Bergland / Książka Miękka
common.buy 112.66 zł
Launch Boys' Adventures in Northern Waters Edward Sylvester Ellis / Książka Miękka
common.buy 49.73 zł
The World's Fastest Level Up (Manga) Vol. 1 Fame / Książka Miękka
common.buy 48.32 zł
Rota Fortunae THIRTEEN O'CL PRESS / Książka Miękka
common.buy 62.41 zł
Computer Aided Architectural Design Futures 2001 Bauke de Vries / Książka Twarda
common.buy 1 440.40 zł
Alice Hugo Vickers / Książka Miękka
common.buy 85.98 zł
Biometric Recognition Wei Jia / Książka Miękka
common.buy 394.37 zł
Accessible Assessment and Pedagogies Linda J. Graham / Książka Miękka
common.buy 262.58 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?