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

19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

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

Nawet do 30 dni na zwrot

Klienci kupili także

SPA-RIGBY PM COLECCION Rigby / Książka Twarda
common.buy 328.92 zł
Reglement Pour Les Enfants Qui Frequentent Les Ecoles Chretiennes Derniere Edition "" / Książka Miękka
common.buy 58.24 zł
Leber und Galle entgiften und stärken Angela Fetzner / Książka Twarda
common.buy 84.24 zł
Objavujeme svet! RODINA neuvedený autor / Książka Leporelo
common.buy 31.33 zł
Eduard und Elisabeth bei den Megamikren: oder Die Reise in das Innere unseres Erdballs Giacomo Casanova / Książka Miękka
common.buy 101.17 zł
Der Brotdoc: Heimatbrote Julia Ruby Hildebrand / Książka Twarda
common.buy 110.24 zł
LAS LIMITACIONES DE LOS PODERES EM CABEZA PEREIRO / Książka Książka
common.buy 74.26 zł
Influencia del Señor Buda en Rabindranath Tagore / Książka Miękka
common.buy 212.12 zł
Romeo und Gisela. Ein generationenübergreifendes Theaterstück und geragogisches Praxisbeispiel Veronika Siegrist / Książka Miękka
common.buy 61.36 zł
Antony Alexandre Dumas / Książka Miękka
common.buy 28.31 zł
Des Diverses Methodes de Traitement Chirurgical Des Nevralgies Du Nerf Maxillaire Inferieur CHARMENSAT-A / Książka Miękka
common.buy 74.26 zł
Noc dlouhých nožů Roman Cílek / Książka Miękka
common.buy 24.28 zł
Paul Lincke Jan Kutscher / Książka Twarda
common.buy 188.34 zł
Excel 2013 en profundidad María Pérez Marques / Książka Miękka
common.buy 174.33 zł
Equidad y políticas públicas en educación y formación básicas : estudio de casos en América Latina, África Subsahariana y Magreb VELEZ DE MEDRANO / Książka Miękka
common.buy 100.97 zł
Der Qualit tswettbewerb Im Marktwirtschaftlichen System Friedrich Karl Flick / Książka Miękka
common.buy 225.82 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.

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

Mogłoby Cię także zainteresować

TOP
Oxford Bookworms Library: Level 4:: Little Women Louisa May Alcott / Książka Miękka
common.buy 41.31 zł
Managing 3rd Party Risk: A Comprehensive Guide to Managing the Risk of Your Vendors, Customers, Partners or Employees Dominic Suszek / Książka Miękka
common.buy 197.00 zł
Ostentation Pamelia Barratt / Książka Miękka
common.buy 62.97 zł
Jute, Jam & Jessie Jordan ANDREW DAVID DOYLE / Książka Miękka
common.buy 51.38 zł
Urfspace Chuck Whelon / Książka Miękka
common.buy 106.81 zł
Zapowiedź
Not Just for This Life: Gough Whitlam Remembered Gary Gray / Książka Miękka
common.buy 91.59 zł
German Steamship Pellworm and Other Ships - High Court of Justice Lord Sterndale / Książka Miękka
common.buy 81.92 zł
A SPANISH DIARY IN 1882 ALEXANDER KILGOUR / Książka Twarda
common.buy 154.78 zł
THE RAINBOW FEATHER FERGUS HUME / Książka Twarda
common.buy 142.79 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?