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

17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Formal Methods: Foundations and Applications Christiano Braga
Codul Libristo: 09155898
Editura Springer International Publishing AG, ianuarie 2015
This book constitutes the refereed proceedings of the 17th Brazilian Symposium on Formal Methods, SB... Descrierea completă
? points 106 b
228.80 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

CARTE DES VINS DE SAINT-EMILION BENOIT FRANCE Carte binding.
common.buy 104.04 lei
Finite Elemente Modelle der Maschinenelemente Klaus Schier / Carte Copertă tare
common.buy 287.28 lei
333 Origami - Farbenfeuerwerk: Alcohol Ink / Carte Carte broșată
common.buy 57.43 lei
Aulas virtuales: formulas y practicas VS G. PADILLA CAST / Carte Carte
common.buy 428.37 lei
mei guo qi ye da xue de zu zhi xue xi / Carte Carte broșată
common.buy 355.54 lei
Waslene y la madrina del bosque Lauren Kratz Prushko / Audiobook MP3
common.buy 31.41 lei
BJ Alex 05 Mingwa / Carte Carte broșată
common.buy 80.21 lei
Tišine Meša Selimović / Carte Carte broșată
common.buy 61.80 lei
Anna Karenina Tom 1 Lev Tolstoy / Carte Carte broșată
common.buy 106.33 lei
Beteiligung von Kindern und Jugendlichen in der Jugendhilfe Manuel Benner / Carte Carte broșată
common.buy 237.44 lei
Gastronomický a společenský průvodce světem II. Afrika a Asie Vlasta Gregorová / Materiale tipărite Hartă
common.buy 46.60 lei
El pensamiento de Bultmann Xabier Pikaza / Carte Carte broșată
common.buy 101.86 lei
Barfuß ins Glück, 1 Blu-ray Tara Timpone / Videoclip Blu-ray
common.buy 75.84 lei
Ein paar Schritte an Ihrer Seite Jörg Zink / Carte Foaie
common.buy 25.38 lei
Les Grandes Et Petites Miseres de la Vie Le Caveau / Carte Carte broșată
common.buy 96.03 lei
Snöfrid aus dem Wiesental - Die ganz und gar abenteuerliche Reise zu den Nebelinseln Andreas H. Schmachtl / Carte Copertă tare
common.buy 85.11 lei
Radeau Antoine Choplin / Carte Carte broșată
common.buy 44.63 lei
Nabucodonosor II, rey de Babilonia RUEDA MUÑOZ DE SAN PEDRO / Carte Carte broșată
common.buy 101.65 lei
What A Success-Scepter And Bell Recordings Allen Toussaint / Audio Audio CD
common.buy 73.66 lei
Malbuch fur Erwachsene Coloringcraze / Carte Carte broșată
common.buy 92.70 lei
Le Pere Goriot Honore De Balzac / Carte Carte broșată
common.buy 60.86 lei
Philosophie des images enigmatiques, ou il est traite des enigmes, hieroglyphes MENESTRIER-C-F / Carte Carte broșată
common.buy 187.18 lei

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.

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 Christiano Braga, Narciso Martí-Oliet
Limba engleză
Legare Carte - Carte broșată
Data publicării 2015
Număr pagini 179
EAN 9783319150741
ISBN 331915074X
Codul Libristo 09155898
Editura Springer International Publishing AG
Greutatea 2993
Dimensiuni 155 x 235 x 9

Categorii

Computing & Information Technology > Computer science > Human–computer interaction > Information architecture
Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering
Computing & Information Technology > Computer hardware > Maintenance & repairs
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
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

Investor Relations and ESG Reporting in a Regulatory Perspective Poul Lykkesfeldt / Carte Copertă tare
common.buy 420.36 lei
Clinical Management of Bacterial Pneumonia Antoni Torres / Carte Carte broșată
common.buy 279.47 lei
Heaven's Art of War, Volume One: Go Archbishop Trevor Greene J C D / Carte Carte broșată
common.buy 66.89 lei
The Art of War-Spirituality for Conflict: Annotated & Explained Thomas Huynh Cleary / Carte Carte broșată
common.buy 163.77 lei
Flow boiling and condensation in microscale channels Fabio Toshio Kanizawa / Carte Carte broșată
common.buy 853.11 lei
God Loves Her: 365 Devotions for Women by Women Xochitl Dixon / Carte Copertă tare
common.buy 75.64 lei
History of the Wars of New-England with the Eastern Indians Nathaniel Adams / Carte Copertă tare
common.buy 173.76 lei
American Pastor in Europe, Ed. by J. Cumming Joseph Cross / Carte Copertă tare
common.buy 215.59 lei
Study Guide for Chemistry Theodore E. Brown / Carte Carte broșată
common.buy 843.95 lei
Godspeed: A love story Dan Chabot / Carte Carte broșată
common.buy 81.46 lei
Public Health: A Very Short Introduction Virginia Berridge / Carte Carte broșată
common.buy 59.40 lei
Descendants Of Thomas Olcott Henry Steel Olcott / Carte Carte broșată
common.buy 100.92 lei
Joggin' Your Noggin: Fun and Challenging Word Games for Seniors Mary Randolph MS / Carte Carte broșată
common.buy 66.69 lei
What's my name? CRISSY Tiina Walsh / Carte Carte broșată
common.buy 81.88 lei
Fox's Book of Martyrs John Foxe / Carte Carte broșată
common.buy 150.55 lei
Oxford Reading Tree TreeTops inFact: Oxford Level 18: Revolutionary Robots Ben Hubbard / Carte Carte broșată
common.buy 79.07 lei
Nanoscale Materials in Water Purification Sabu Thomas / Carte Carte broșată
common.buy 1 118.55 lei
Accidents Of Youth / Carte Carte broșată
common.buy 99.05 lei
Companion Animal Behaviour Problems Rachel A Casey / Carte Carte broșată
common.buy 316.10 lei
SEO for Business 2019: Step-by-Step Beginners Guide to Growth using Search Engine Optimization, Google Analytics, Adwords, and other Marketin Alexander Morgan / Carte Carte broșată
common.buy 106.33 lei
Top
Halo: Ghosts of Onyx Eric Nylund / Carte Carte broșată
common.buy 83.85 lei
Jews of Iran Houman M. Sarshar / Carte Carte broșată
common.buy 244.62 lei
Emotions: Things We Go Through Terrance L Caldwell Sr / Carte Carte broșată
common.buy 71.89 lei
Fat Funeral: The Scientific Approach to Long-Term Weight Loss Daniel S. Dell'uomo / Carte Carte broșată
common.buy 106.33 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?