Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Formal Methods: Foundations and Applications

Limba englezăengleză
Carte Carte broșată
Carte Formal Methods: Foundations and Applications Simone Cavalheiro
Codul Libristo: 18312709
Editura Springer International Publishing AG, noiembrie 2017
This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SB... Descrierea completă
? points 171 b
370.73 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Strukturwandel der Öffentlichkeit Jürgen Habermas / Carte Carte broșată
common.buy 109.87 lei
Web-Kommunikation MIT Opensource Claus Möbus / Carte Copertă tare
common.buy 261.26 lei
Dämmersee Ulrike Brauns / Carte Carte broșată
common.buy 80.21 lei
De viaje. Bélgica e Inglaterra Francisco Uzcanga Meinecke / Carte Carte broșată
common.buy 75.22 lei
Mütter Europas Karin Bojs / Carte Copertă tare
common.buy 129.53 lei
Zulejka otwiera oczy wyd. 2023 Guzel Jachina / Carte Copertă tare
common.buy 52.64 lei
Il riassorbimento radicolare: Una revisione Parul Bansal / Carte Carte broșată
common.buy 247.01 lei
Untersuchungen ber Die Reaktionszeit Bei Dauerbeobachtung Heinz Schmidtke / Carte Carte broșată
common.buy 293.21 lei
Fondements D'Une Analyse Institutionnelle Comparee Masahiko Aoki / Carte Carte broșată
common.buy 199.14 lei
Top
Oliva Denaro Viola Ardone / Carte Carte broșată
common.buy 170.53 lei
Puzzle 1000 Paryż o świcie / Joc / Jucărie Jucărie
common.buy 32.24 lei
INTRODUCCION A LA DINAMICA DE FLUIDOS BATCHELOR / Carte Carte broșată
common.buy 165.54 lei
ITURBIDE DE MEXICO SPENCE ROBERTSON / Carte Carte
common.buy 148.37 lei
Un écologiste ne devrait pas dire cela Lesaffre / Carte Carte broșată
common.buy 85.31 lei
5 WALTZES PIANO MUZIO CLEMENTI Carte binding.
common.buy 129.95 lei
LES CURATEURS DES CITES DANS LOCCIDENT ROMAIN DE TRAJAN A GALLIEN JACQUES FRANCOIS Carte binding.
common.buy 232.96 lei
Valérian, vu par... - Tome 0 - Shingouzlooz Inc Lupano Wilfrid / Carte Copertă tare
common.buy 117.46 lei
Le Raisonnement de l'ours Vincent Descombes / Carte Carte broșată
common.buy 162.73 lei
Top
Aktfotografie Hannes Caspar / Carte Copertă tare
common.buy 209.13 lei
Tafsir Ibn Kathir (Urdu): Tafsir Ibn Kathir (Urdu)Surah Qasas, Ankabut, Rome, Luqman, Sajdah, Ahzab Alama Imad Ud Din Ibn Kathir / Carte Carte broșată
common.buy 81.67 lei
DRAZEN PETROVIC JUAN FRANCISCO ESCUDERO / Carte Carte broșată
common.buy 125.89 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Formal Methods: Foundations and Applications
Autor Simone Cavalheiro, José Fiadeiro
Limba engleză
Legare Carte - Carte broșată
Data publicării 2017
Număr pagini 305
EAN 9783319708478
ISBN 3319708473
Codul Libristo 18312709
Editura Springer International Publishing AG
Greutatea 4803
Dimensiuni 155 x 235 x 18

Categorii

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Green Technologies and Environmental Sustainability Sanjeev Kumar / Carte Carte broșată
common.buy 1 136.76 lei
You Choose Stories: Field Trip Mysteries Steve Brezenoff / Carte Copertă tare
common.buy 934.17 lei
Survival Of Patients Under Chronic HIV Care & Antiretroviral Treatment Tegiste Assefa Ayele / Carte Carte broșată
common.buy 298.10 lei
Move Up the Mountain JOYCE SOUTH BENNETT / Carte Carte broșată
common.buy 106.33 lei
The Holy Bible Douay-Rheims Version, ECCLESIASTICUS Douay Rheims / Carte Carte broșată
common.buy 52.02 lei
Journey to Mars: Blood is Forever Tim Conley / Carte Carte broșată
common.buy 47.02 lei
Wandering Words: A Collection Of Poetry and Humor by Bruce Kilarski Bruce L Kilarski / Carte Carte broșată
common.buy 71.68 lei
Childhood Regained: Canadian Schools Edition Jodie Renner / Carte Carte broșată
common.buy 86.67 lei
The Compassionate Animal: An Interfaith Guide to the Extended Circle of Compassion Barbara Gardner / Carte Carte broșată
common.buy 91.66 lei
Fluffy's Outdoor Adventure Shaley M Elle / Carte Carte broșată
common.buy 39.63 lei
Tennessee 4th Grade ELA Test Prep: Common Core Learning Standards Teachers' Treasures / Carte Carte broșată
common.buy 106.33 lei
Frankie Finds A Friend Paula-Michelle Trotter / Carte Carte broșată
common.buy 57.01 lei
Activating God's Power in Tyler Michelle Leslie / Carte Carte broșată
common.buy 57.01 lei
Shape-Preserving Approximation by Real and Complex Polynomials Sorin G. Gal / Carte Copertă tare
common.buy 285.40 lei
Man-made Famine in the Ukraine Robert Conquest / Carte Carte broșată
common.buy 55.24 lei
Mickelson Clarified Dictionary of Old Testament Hebrew, MCT Jonathan K. Mickelson / Carte Carte broșată
common.buy 262.83 lei
Living in the World Ronald C. Jantz / Carte Copertă tare
common.buy 206.74 lei
Marx in Paris, 1871 Olivier Besancenot / Carte Copertă tare
common.buy 182.91 lei
Animal Crossing Helmer Lud / Carte Carte broșată
common.buy 66.89 lei
Modern Concepts of Peripheral Nerve Repair Kirsten Haastert-Talini / E-book Adobe ePub DRM
common.buy 557.08 lei
Healthy, My Way Nguyen / Carte Copertă tare
common.buy 139.11 lei
Nurse's Drug Guide 2024 Shields / Carte Carte broșată
common.buy 482.79 lei
Human Resource Management: Gaining a Competitive Advantage 2025 Release ISE John Hollenbeck / Carte Carte broșată
common.buy 0.00 lei
Bespelled Laura Thalassa / Carte Carte broșată
common.buy 60.44 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?