Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Formal Methods: Foundations and Applications

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Formal Methods: Foundations and Applications Simone Cavalheiro
Libristo kod: 18312709
Nakladnici Springer International Publishing AG, studeni 2017
This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SB... Cijeli opis
? points 162 b
67.06 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Strukturwandel der Öffentlichkeit Jürgen Habermas / Knjiga Meki uvez
common.buy 19.72 €
Web-Kommunikation MIT Opensource Claus Möbus / Knjiga Tvrdi uvez
common.buy 47.23 €
Dämmersee Ulrike Brauns / Knjiga Meki uvez
common.buy 14.46 €
De viaje. Bélgica e Inglaterra Francisco Uzcanga Meinecke / Knjiga Meki uvez
common.buy 13.65 €
Mütter Europas Karin Bojs / Knjiga Tvrdi uvez
common.buy 23.36 €
Zulejka otwiera oczy wyd. 2023 Guzel Jachina / Knjiga Tvrdi uvez
common.buy 9.50 €
Il riassorbimento radicolare: Una revisione Parul Bansal / Knjiga Meki uvez
common.buy 44.50 €
Untersuchungen ber Die Reaktionszeit Bei Dauerbeobachtung Heinz Schmidtke / Knjiga Meki uvez
common.buy 53.10 €
Fondements D'Une Analyse Institutionnelle Comparee Masahiko Aoki / Knjiga Meki uvez
common.buy 36.31 €
Top
Oliva Denaro Viola Ardone / Knjiga Meki uvez
common.buy 20.52 €
Puzzle 1000 Paryż o świcie / Igra/Igračka Igračka
common.buy 5.86 €
INTRODUCCION A LA DINAMICA DE FLUIDOS BATCHELOR / Knjiga Meki uvez
common.buy 30.24 €
ITURBIDE DE MEXICO SPENCE ROBERTSON / Knjiga Knjiga
common.buy 26.90 €
Un écologiste ne devrait pas dire cela Lesaffre / Knjiga Meki uvez
common.buy 15.37 €
5 WALTZES PIANO MUZIO CLEMENTI Knjiga binding.
common.buy 23.76 €
LES CURATEURS DES CITES DANS LOCCIDENT ROMAIN DE TRAJAN A GALLIEN JACQUES FRANCOIS Knjiga binding.
common.buy 42.48 €
Valérian, vu par... - Tome 0 - Shingouzlooz Inc Lupano Wilfrid / Knjiga Tvrdi uvez
common.buy 21.44 €
Le Raisonnement de l'ours Vincent Descombes / Knjiga Meki uvez
common.buy 29.63 €
Top
Aktfotografie Hannes Caspar / Knjiga Tvrdi uvez
common.buy 37.72 €
Tafsir Ibn Kathir (Urdu): Tafsir Ibn Kathir (Urdu)Surah Qasas, Ankabut, Rome, Luqman, Sajdah, Ahzab Alama Imad Ud Din Ibn Kathir / Knjiga Meki uvez
common.buy 14.86 €
DRAZEN PETROVIC JUAN FRANCISCO ESCUDERO / Knjiga Meki uvez
common.buy 23.05 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Formal Methods: Foundations and Applications
Autor Simone Cavalheiro, José Fiadeiro
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2017
Broj stranica 305
EAN 9783319708478
ISBN 3319708473
Libristo kod 18312709
Nakladnici Springer International Publishing AG
Težina 4803
Dimenzije 155 x 235 x 18

Kategorija

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Green Technologies and Environmental Sustainability Sanjeev Kumar / Knjiga Meki uvez
common.buy 205.74 €
You Choose Stories: Field Trip Mysteries Steve Brezenoff / Knjiga Tvrdi uvez
common.buy 168.82 €
Survival Of Patients Under Chronic HIV Care & Antiretroviral Treatment Tegiste Assefa Ayele / Knjiga Meki uvez
common.buy 49.86 €
Move Up the Mountain JOYCE SOUTH BENNETT / Knjiga Meki uvez
common.buy 19.31 €
The Holy Bible Douay-Rheims Version, ECCLESIASTICUS Douay Rheims / Knjiga Meki uvez
common.buy 9.40 €
Journey to Mars: Blood is Forever Tim Conley / Knjiga Meki uvez
common.buy 8.59 €
Wandering Words: A Collection Of Poetry and Humor by Bruce Kilarski Bruce L Kilarski / Knjiga Meki uvez
common.buy 13.04 €
Childhood Regained: Canadian Schools Edition Jodie Renner / Knjiga Meki uvez
common.buy 15.77 €
The Compassionate Animal: An Interfaith Guide to the Extended Circle of Compassion Barbara Gardner / Knjiga Meki uvez
common.buy 16.68 €
Fluffy's Outdoor Adventure Shaley M Elle / Knjiga Meki uvez
common.buy 7.17 €
Tennessee 4th Grade ELA Test Prep: Common Core Learning Standards Teachers' Treasures / Knjiga Meki uvez
common.buy 19.31 €
Frankie Finds A Friend Paula-Michelle Trotter / Knjiga Meki uvez
common.buy 10.31 €
Activating God's Power in Tyler Michelle Leslie / Knjiga Meki uvez
common.buy 10.31 €
Shape-Preserving Approximation by Real and Complex Polynomials Sorin G. Gal / Knjiga Tvrdi uvez
common.buy 51.68 €
Man-made Famine in the Ukraine Robert Conquest / Knjiga Meki uvez
common.buy 9.90 €
Mickelson Clarified Dictionary of Old Testament Hebrew, MCT Jonathan K. Mickelson / Knjiga Meki uvez
common.buy 48.04 €
Living in the World Ronald C. Jantz / Knjiga Tvrdi uvez
common.buy 37.11 €
Marx in Paris, 1871 Olivier Besancenot / Knjiga Tvrdi uvez
common.buy 34.89 €
Animal Crossing Helmer Lud / Knjiga Meki uvez
common.buy 12.13 €
Modern Concepts of Peripheral Nerve Repair Kirsten Haastert-Talini / E-knjiga Adobe ePub DRM
common.buy 101.05 €
Healthy, My Way Nguyen / Knjiga Tvrdi uvez
common.buy 24.98 €
Nurse's Drug Guide 2024 Shields / Knjiga Meki uvez
common.buy 88.30 €
Human Resource Management: Gaining a Competitive Advantage 2025 Release ISE John Hollenbeck / Knjiga Meki uvez
common.buy 68.78 €
Bespelled Laura Thalassa / Knjiga Meki uvez
common.buy 10.81 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?