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 11.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
177.89 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

BJ Alex 05 Mingwa / Książka Miękka
common.buy 62.21 zł
333 Origami - Farbenfeuerwerk: Alcohol Ink / Książka Miękka
common.buy 44.29 zł
Aulas virtuales: formulas y practicas VS G. PADILLA CAST / Książka Książka
common.buy 351.00 zł
mei guo qi ye da xue de zu zhi xue xi / Książka Miękka
common.buy 275.54 zł
Nabucodonosor II, rey de Babilonia RUEDA MUÑOZ DE SAN PEDRO / Książka Miękka
common.buy 82.98 zł
Tecnología educativa Julio . . . [et al. ] Cabero Almenara / Książka Miękka
common.buy 187.66 zł
Tišine Meša Selimović / Książka Miękka
common.buy 56.30 zł
CARTE DES VINS DE SAINT-EMILION BENOIT FRANCE Książka binding.
common.buy 84.41 zł
Luz en la oscuridad Brittainy Cherry / E-book Adobe ePub DRM
common.buy 33.09 zł
Raisonnement Clinique Sous-Jacent L Enseignement Ergoth rapique Carrier-A / Książka Miękka
common.buy 248.86 zł
Finite Elemente Modelle der Maschinenelemente Klaus Schier / Książka Twarda
common.buy 223.20 zł
Gastronomický a společenský průvodce světem II. Afrika a Asie Vlasta Gregorová / Prasa Mapa
common.buy 36.04 zł
Waslene y la madrina del bosque Lauren Kratz Prushko / Audiobook MP3
common.buy 25.96 zł
Beteiligung von Kindern und Jugendlichen in der Jugendhilfe Manuel Benner / Książka Miękka
common.buy 184.10 zł
Jexpressiq genow pri äpilepsii Om Prakash Verma / Książka Miękka
common.buy 126.57 zł
Radeau Antoine Choplin / Książka Miękka
common.buy 35.73 zł
Barfuß ins Glück, 1 Blu-ray Tara Timpone / Wideo Blu-ray
common.buy 59.15 zł
Snöfrid aus dem Wiesental - Die ganz und gar abenteuerliche Reise zu den Nebelinseln Andreas H. Schmachtl / Książka Twarda
common.buy 65.77 zł
Musikgeschichte Tirols in drei Bänden Kurt Drexel / Książka Książka
common.buy 737.96 zł
Le Pere Goriot Honore De Balzac / Książka Miękka
common.buy 47.65 zł
Philosophie des images enigmatiques, ou il est traite des enigmes, hieroglyphes MENESTRIER-C-F / Książka Miękka
common.buy 146.83 zł
Erdoel A Schneider / Książka Miękka
common.buy 29.11 zł
Ein paar Schritte an Ihrer Seite Jörg Zink / Książka Karta
common.buy 19.75 zł
Malbuch fur Erwachsene Coloringcraze / Książka Miękka
common.buy 71.78 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ć

Advanced Thermal Management Materials Guosheng Jiang / Książka Miękka
common.buy 442.95 zł
Investor Relations and ESG Reporting in a Regulatory Perspective Poul Lykkesfeldt / Książka Twarda
common.buy 325.85 zł
Clinical Management of Bacterial Pneumonia Antoni Torres / Książka Miękka
common.buy 217.40 zł
Oxford Reading Tree TreeTops inFact: Oxford Level 18: Revolutionary Robots Ben Hubbard / Książka Miękka
common.buy 65.06 zł
Emotions: Things We Go Through Terrance L Caldwell Sr / Książka Miękka
common.buy 56.20 zł
Jews of Iran Houman M. Sarshar / Książka Miękka
common.buy 190.72 zł
TOP
Halo: Ghosts of Onyx Eric Nylund / Książka Miękka
common.buy 64.65 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.98 zł
Companion Animal Behaviour Problems Rachel A Casey / Książka Miękka
common.buy 246.22 zł
History of the Dudley Family Dean Dudley / Książka Miękka
common.buy 157.32 zł
Nanoscale Materials in Water Purification Sabu Thomas / Książka Miękka
common.buy 881.74 zł
The Art of War-Spirituality for Conflict: Annotated & Explained Thomas Huynh Cleary / Książka Miękka
common.buy 128.19 zł
Fox's Book of Martyrs John Foxe / Książka Miękka
common.buy 117.71 zł
Heaven's Art of War, Volume One: Go Archbishop Trevor Greene J C D / Książka Miękka
common.buy 52.23 zł
Joggin' Your Noggin: Fun and Challenging Word Games for Seniors Mary Randolph MS / Książka Miękka
common.buy 52.02 zł
Godspeed: A love story Dan Chabot / Książka Miękka
common.buy 63.63 zł
Study Guide for Chemistry Theodore E. Brown / Książka Miękka
common.buy 661.38 zł
American Pastor in Europe, Ed. by J. Cumming Joseph Cross / Książka Twarda
common.buy 168.62 zł
History of the Wars of New-England with the Eastern Indians Nathaniel Adams / Książka Twarda
common.buy 135.93 zł
New Regional Politics of Development A Payne / Książka Miękka
common.buy 253.65 zł
Descendants Of Thomas Olcott Henry Steel Olcott / Książka Miękka
common.buy 78.20 zł
Modern Language Review (120.2) April 2025 Duncan Wheeler / Książka Miękka
common.buy 376.25 zł
Rekindling the Flame Madison Myers / Książka Miękka
common.buy 67.91 zł
TOP
Ghost Rider 2099 Omnibus Chris Bachalo / Książka Twarda
common.buy 320.65 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?