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

17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Formal Methods: Foundations and Applications Christiano Braga
Kod Libristo: 09155898
Wydawnictwo Springer International Publishing AG, styczeń 2015
This book constitutes the refereed proceedings of the 17th Brazilian Symposium on Formal Methods, SB... Cały opis
? points 100 b
175.89 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

CARTE DES VINS DE SAINT-EMILION BENOIT FRANCE Książka binding.
common.buy 84.36 zł
Finite Elemente Modelle der Maschinenelemente Klaus Schier / Książka Twarda
common.buy 220.69 zł
333 Origami - Farbenfeuerwerk: Alcohol Ink / Książka Miękka
common.buy 43.79 zł
Aulas virtuales: formulas y practicas VS G. PADILLA CAST / Książka Książka
common.buy 347.46 zł
mei guo qi ye da xue de zu zhi xue xi / Książka Miękka
common.buy 272.44 zł
Waslene y la madrina del bosque Lauren Kratz Prushko / Audiobook MP3
common.buy 25.46 zł
BJ Alex 05 Mingwa / Książka Miękka
common.buy 61.51 zł
Tišine Meša Selimović / Książka Miękka
common.buy 55.67 zł
Anna Karenina Tom 1 Lev Tolstoy / Książka Miękka
common.buy 82.05 zł
Beteiligung von Kindern und Jugendlichen in der Jugendhilfe Manuel Benner / Książka Miękka
common.buy 182.03 zł
Gastronomický a společenský průvodce světem II. Afrika a Asie Vlasta Gregorová / Prasa Mapa
common.buy 35.63 zł
El pensamiento de Bultmann Xabier Pikaza / Książka Miękka
common.buy 82.55 zł
Barfuß ins Glück, 1 Blu-ray Tara Timpone / Wideo Blu-ray
common.buy 58.49 zł
Ein paar Schritte an Ihrer Seite Jörg Zink / Książka Karta
common.buy 19.52 zł
Les Grandes Et Petites Miseres de la Vie Le Caveau / Książka Miękka
common.buy 74.20 zł
Snöfrid aus dem Wiesental - Die ganz und gar abenteuerliche Reise zu den Nebelinseln Andreas H. Schmachtl / Książka Twarda
common.buy 65.03 zł
Radeau Antoine Choplin / Książka Miękka
common.buy 36.24 zł
Nabucodonosor II, rey de Babilonia RUEDA MUÑOZ DE SAN PEDRO / Książka Miękka
common.buy 82.45 zł
What A Success-Scepter And Bell Recordings Allen Toussaint / Audio CD Audio
common.buy 56.27 zł
Malbuch fur Erwachsene Coloringcraze / Książka Miękka
common.buy 70.97 zł
Le Pere Goriot Honore De Balzac / Książka Miękka
common.buy 47.11 zł
Philosophie des images enigmatiques, ou il est traite des enigmes, hieroglyphes MENESTRIER-C-F / Książka Miękka
common.buy 145.18 zł

This book constitutes the refereed proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceió, AL, Brazil, in September/October 2014. The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems, aiming to promote opportunities for researchers with interests in formal methods to discuss the recent advances in this area.

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 Christiano Braga, Narciso Martí-Oliet
Język Angielski
Oprawa Książka - Miękka
Data wydania 2015
Liczba stron 179
EAN 9783319150741
ISBN 331915074X
Kod Libristo 09155898
Wydawnictwo Springer International Publishing AG
Waga 2993
Wymiary 155 x 235 x 9

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Interakcja człowiek-komputer > Architektura informacji
Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna
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ć

Investor Relations and ESG Reporting in a Regulatory Perspective Poul Lykkesfeldt / Książka Twarda
common.buy 322.18 zł
Clinical Management of Bacterial Pneumonia Antoni Torres / Książka Miękka
common.buy 214.95 zł
Heaven's Art of War, Volume One: Go Archbishop Trevor Greene J C D / Książka Miękka
common.buy 51.64 zł
The Art of War-Spirituality for Conflict: Annotated & Explained Thomas Huynh Cleary / Książka Miękka
common.buy 126.75 zł
Flow boiling and condensation in microscale channels Fabio Toshio Kanizawa / Książka Miękka
common.buy 656.26 zł
God Loves Her: 365 Devotions for Women by Women Xochitl Dixon / Książka Twarda
common.buy 57.78 zł
History of the Wars of New-England with the Eastern Indians Nathaniel Adams / Książka Twarda
common.buy 134.40 zł
American Pastor in Europe, Ed. by J. Cumming Joseph Cross / Książka Twarda
common.buy 166.73 zł
Study Guide for Chemistry Theodore E. Brown / Książka Miękka
common.buy 653.94 zł
Godspeed: A love story Dan Chabot / Książka Miękka
common.buy 62.92 zł
Public Health: A Very Short Introduction Virginia Berridge / Książka Miękka
common.buy 45.30 zł
Descendants Of Thomas Olcott Henry Steel Olcott / Książka Miękka
common.buy 77.32 zł
Joggin' Your Noggin: Fun and Challenging Word Games for Seniors Mary Randolph MS / Książka Miękka
common.buy 51.44 zł
What's my name? CRISSY Tiina Walsh / Książka Miękka
common.buy 63.22 zł
Fox's Book of Martyrs John Foxe / Książka Miękka
common.buy 116.38 zł
Oxford Reading Tree TreeTops inFact: Oxford Level 18: Revolutionary Robots Ben Hubbard / Książka Miękka
common.buy 64.13 zł
Nanoscale Materials in Water Purification Sabu Thomas / Książka Miękka
common.buy 871.82 zł
Accidents Of Youth / Książka Miękka
common.buy 75.91 zł
Companion Animal Behaviour Problems Rachel A Casey / Książka Miękka
common.buy 243.45 zł
SEO for Business 2019: Step-by-Step Beginners Guide to Growth using Search Engine Optimization, Google Analytics, Adwords, and other Marketin Alexander Morgan / Książka Miękka
common.buy 82.05 zł
TOP
Halo: Ghosts of Onyx Eric Nylund / Książka Miękka
common.buy 63.92 zł
Jews of Iran Houman M. Sarshar / Książka Miękka
common.buy 188.57 zł
Emotions: Things We Go Through Terrance L Caldwell Sr / Książka Miękka
common.buy 55.57 zł
Fat Funeral: The Scientific Approach to Long-Term Weight Loss Daniel S. Dell'uomo / Książka Miękka
common.buy 82.05 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?