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

Język AngielskiAngielski
Książka Miękka
Książka Formal Methods: Foundations and Applications Simone Cavalheiro
Kod Libristo: 18312709
Wydawnictwo Springer International Publishing AG, listopad 2017
This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SB... Cały opis
? points 162 b
285.23 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Strukturwandel der Öffentlichkeit Jürgen Habermas / Książka Miękka
common.buy 83.96 zł
Web-Kommunikation MIT Opensource Claus Möbus / Książka Twarda
common.buy 200.86 zł
Dämmersee Ulrike Brauns / Książka Miękka
common.buy 61.51 zł
De viaje. Bélgica e Inglaterra Francisco Uzcanga Meinecke / Książka Miękka
common.buy 61.01 zł
Mütter Europas Karin Bojs / Książka Twarda
common.buy 99.27 zł
Zulejka otwiera oczy wyd. 2023 Guzel Jachina / Książka Twarda
common.buy 37.95 zł
Il riassorbimento radicolare: Una revisione Parul Bansal / Książka Miękka
common.buy 189.28 zł
Untersuchungen ber Die Reaktionszeit Bei Dauerbeobachtung Heinz Schmidtke / Książka Miękka
common.buy 225.63 zł
Fondements D'Une Analyse Institutionnelle Comparee Masahiko Aoki / Książka Miękka
common.buy 161.49 zł
TOP
Oliva Denaro Viola Ardone / Książka Miękka
common.buy 87.38 zł
Puzzle 1000 Paryż o świcie / Gra/Zabawka Zabawka
common.buy 23.15 zł
INTRODUCCION A LA DINAMICA DE FLUIDOS BATCHELOR / Książka Miękka
common.buy 134.30 zł
ITURBIDE DE MEXICO SPENCE ROBERTSON / Książka Książka
common.buy 120.41 zł
Un écologiste ne devrait pas dire cela Lesaffre / Książka Miękka
common.buy 65.33 zł
5 WALTZES PIANO MUZIO CLEMENTI Książka binding.
common.buy 105.41 zł
LES CURATEURS DES CITES DANS LOCCIDENT ROMAIN DE TRAJAN A GALLIEN JACQUES FRANCOIS Książka binding.
common.buy 188.88 zł
Valérian, vu par... - Tome 0 - Shingouzlooz Inc Lupano Wilfrid / Książka Twarda
common.buy 95.24 zł
Le Raisonnement de l'ours Vincent Descombes / Książka Miękka
common.buy 131.99 zł
TOP
Aktfotografie Hannes Caspar / Książka Twarda
common.buy 160.58 zł
Tafsir Ibn Kathir (Urdu): Tafsir Ibn Kathir (Urdu)Surah Qasas, Ankabut, Rome, Luqman, Sajdah, Ahzab Alama Imad Ud Din Ibn Kathir / Książka Miękka
common.buy 63.12 zł
DRAZEN PETROVIC JUAN FRANCISCO ESCUDERO / Książka Miękka
common.buy 102.08 zł

This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017. The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions. They are organized in the following topical sections: formal methods integration and experience reports; model checking; refinement and verification; and semantics and languages.

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 Simone Cavalheiro, José Fiadeiro
Język Angielski
Oprawa Książka - Miękka
Data wydania 2017
Liczba stron 305
EAN 9783319708478
ISBN 3319708473
Kod Libristo 18312709
Wydawnictwo Springer International Publishing AG
Waga 4803
Wymiary 155 x 235 x 18

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
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ć

Green Technologies and Environmental Sustainability Sanjeev Kumar / Książka Miękka
common.buy 874.64 zł
You Choose Stories: Field Trip Mysteries Steve Brezenoff / Książka Twarda
common.buy 717.88 zł
Survival Of Patients Under Chronic HIV Care & Antiretroviral Treatment Tegiste Assefa Ayele / Książka Miękka
common.buy 211.93 zł
Move Up the Mountain JOYCE SOUTH BENNETT / Książka Miękka
common.buy 82.05 zł
The Holy Bible Douay-Rheims Version, ECCLESIASTICUS Douay Rheims / Książka Miękka
common.buy 40.06 zł
Journey to Mars: Blood is Forever Tim Conley / Książka Miękka
common.buy 36.34 zł
Wandering Words: A Collection Of Poetry and Humor by Bruce Kilarski Bruce L Kilarski / Książka Miękka
common.buy 55.37 zł
Childhood Regained: Canadian Schools Edition Jodie Renner / Książka Miękka
common.buy 67.35 zł
The Compassionate Animal: An Interfaith Guide to the Extended Circle of Compassion Barbara Gardner / Książka Miękka
common.buy 70.77 zł
Fluffy's Outdoor Adventure Shaley M Elle / Książka Miękka
common.buy 30.60 zł
Tennessee 4th Grade ELA Test Prep: Common Core Learning Standards Teachers' Treasures / Książka Miękka
common.buy 82.05 zł
Frankie Finds A Friend Paula-Michelle Trotter / Książka Miękka
common.buy 43.89 zł
Activating God's Power in Tyler Michelle Leslie / Książka Miękka
common.buy 43.89 zł
Shape-Preserving Approximation by Real and Complex Polynomials Sorin G. Gal / Książka Twarda
common.buy 219.69 zł
Man-made Famine in the Ukraine Robert Conquest / Książka Miękka
common.buy 42.18 zł
Mickelson Clarified Dictionary of Old Testament Hebrew, MCT Jonathan K. Mickelson / Książka Miękka
common.buy 204.38 zł
Living in the World Ronald C. Jantz / Książka Twarda
common.buy 157.76 zł
Marx in Paris, 1871 Olivier Besancenot / Książka Twarda
common.buy 139.04 zł
Animal Crossing Helmer Lud / Książka Miękka
common.buy 51.64 zł
Modern Concepts of Peripheral Nerve Repair Kirsten Haastert-Talini / E-book Adobe ePub DRM
common.buy 451.87 zł
Healthy, My Way Nguyen / Książka Twarda
common.buy 106.11 zł
Nurse's Drug Guide 2024 Shields / Książka Miękka
common.buy 375.55 zł
Human Resource Management: Gaining a Competitive Advantage 2025 Release ISE John Hollenbeck / Książka Miękka
common.buy 292.48 zł
Bespelled Laura Thalassa / Książka Miękka
common.buy 46.00 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?