Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Formal Methods: Foundations and Applications

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Formal Methods: Foundations and Applications Simone Cavalheiro
Koda Libristo: 18312709
Založba Springer International Publishing AG, november 2017
This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SB... Celoten opis
? points 153 b
63.43 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Top
Oliva Denaro Viola Ardone / Knjiga Mehka
common.buy 19.42 €
Fondements D'Une Analyse Institutionnelle Comparee Masahiko Aoki / Knjiga Mehka
common.buy 34.69 €
Untersuchungen ber Die Reaktionszeit Bei Dauerbeobachtung Heinz Schmidtke / Knjiga Mehka
common.buy 50.17 €
Il riassorbimento radicolare: Una revisione Parul Bansal / Knjiga Mehka
common.buy 41.88 €
Zulejka otwiera oczy wyd. 2023 Guzel Jachina / Knjiga Trda
common.buy 9.10 €
Mütter Europas Karin Bojs / Knjiga Trda
common.buy 21.95 €
De viaje. Bélgica e Inglaterra Francisco Uzcanga Meinecke / Knjiga Mehka
common.buy 13.04 €
Web-Kommunikation MIT Opensource Claus Möbus / Knjiga Trda
common.buy 44.61 €
Strukturwandel der Öffentlichkeit Jürgen Habermas / Knjiga Mehka
common.buy 18.61 €
Puzzle 1000 Paryż o świcie / Igra/Igrača Igrača
common.buy 5.45 €
INTRODUCCION A LA DINAMICA DE FLUIDOS BATCHELOR / Knjiga Mehka
common.buy 28.93 €
ITURBIDE DE MEXICO SPENCE ROBERTSON / Knjiga Knjiga
common.buy 25.59 €
Un écologiste ne devrait pas dire cela Lesaffre / Knjiga Mehka
common.buy 14.46 €
5 WALTZES PIANO MUZIO CLEMENTI Knjiga binding.
common.buy 22.65 €
LES CURATEURS DES CITES DANS LOCCIDENT ROMAIN DE TRAJAN A GALLIEN JACQUES FRANCOIS Knjiga binding.
common.buy 40.56 €
Valérian, vu par... - Tome 0 - Shingouzlooz Inc Lupano Wilfrid / Knjiga Trda
common.buy 20.43 €
Le Raisonnement de l'ours Vincent Descombes / Knjiga Mehka
common.buy 28.32 €
Top
Aktfotografie Hannes Caspar / Knjiga Trda
common.buy 35.71 €
Tafsir Ibn Kathir (Urdu): Tafsir Ibn Kathir (Urdu)Surah Qasas, Ankabut, Rome, Luqman, Sajdah, Ahzab Alama Imad Ud Din Ibn Kathir / Knjiga Mehka
common.buy 14.05 €
DRAZEN PETROVIC JUAN FRANCISCO ESCUDERO / Knjiga Mehka
common.buy 21.95 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Formal Methods: Foundations and Applications
Avtor Simone Cavalheiro, José Fiadeiro
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2017
Število strani 305
EAN 9783319708478
ISBN 3319708473
Koda Libristo 18312709
Založba Springer International Publishing AG
Teža 4803
Mere 155 x 235 x 18

Kategorije

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Green Technologies and Environmental Sustainability Sanjeev Kumar / Knjiga Mehka
common.buy 194.56 €
You Choose Stories: Field Trip Mysteries Steve Brezenoff / Knjiga Trda
common.buy 159.55 €
Survival Of Patients Under Chronic HIV Care & Antiretroviral Treatment Tegiste Assefa Ayele / Knjiga Mehka
common.buy 46.94 €
Move Up the Mountain JOYCE SOUTH BENNETT / Knjiga Mehka
common.buy 18.30 €
The Holy Bible Douay-Rheims Version, ECCLESIASTICUS Douay Rheims / Knjiga Mehka
common.buy 8.99 €
Journey to Mars: Blood is Forever Tim Conley / Knjiga Mehka
common.buy 8.08 €
Odessa Charles King / Knjiga Mehka
common.buy 14.26 €
Childhood Regained: Canadian Schools Edition Jodie Renner / Knjiga Mehka
common.buy 15.07 €
The Compassionate Animal: An Interfaith Guide to the Extended Circle of Compassion Barbara Gardner / Knjiga Mehka
common.buy 15.77 €
Fluffy's Outdoor Adventure Shaley M Elle / Knjiga Mehka
common.buy 6.87 €
Tennessee 4th Grade ELA Test Prep: Common Core Learning Standards Teachers' Treasures / Knjiga Mehka
common.buy 18.30 €
Frankie Finds A Friend Paula-Michelle Trotter / Knjiga Mehka
common.buy 9.80 €
Activating God's Power in Tyler Michelle Leslie / Knjiga Mehka
common.buy 9.80 €
Wandering Words: A Collection Of Poetry and Humor by Bruce Kilarski Bruce L Kilarski / Knjiga Mehka
common.buy 12.33 €
Man-made Famine in the Ukraine Robert Conquest / Knjiga Mehka
common.buy 9.30 €
Mickelson Clarified Dictionary of Old Testament Hebrew, MCT Jonathan K. Mickelson / Knjiga Mehka
common.buy 46.03 €
Living in the World Ronald C. Jantz / Knjiga Trda
common.buy 34.80 €
Marx in Paris, 1871 Olivier Besancenot / Knjiga Trda
common.buy 34.90 €
Animal Crossing Helmer Lud / Knjiga Mehka
common.buy 11.52 €
Hape Puzzle Einsatzfahrzeuge (Kinderpuzzle) / Igra/Igrača Igra
common.buy 7.27 €
Modern Concepts of Peripheral Nerve Repair Kirsten Haastert-Talini / E-knjiga Adobe ePub DRM
common.buy 96.21 €
Healthy, My Way Nguyen / Knjiga Trda
common.buy 23.36 €
Nurse's Drug Guide 2024 Shields / Knjiga Mehka
common.buy 84.58 €
Human Resource Management: Gaining a Competitive Advantage 2025 Release ISE John Hollenbeck / Knjiga Mehka
common.buy 65.15 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo