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 Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 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

15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Formal Methods: Foundations and Applications Rohit Gheyi
Codul Libristo: 01662107
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, august 2012
This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SB... Descrierea completă
? points 121 b
261.71 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Handbuch Der Ziehtechnik Walter Sellin / Carte Carte broșată
common.buy 292.20 lei
Sindicatos, trade-unions y corporaciones Georges Renard / Carte Carte broșată
common.buy 175.75 lei
Der Vertrag von Lissabon Waldemar Hummer / Carte Carte broșată
common.buy 554.54 lei
Die ordentliche Änderungskündigung des Arbeitgebers. Franz X. Wallner / Carte Carte broșată
common.buy 499.27 lei
Česko-anglický slovník spojení: podstatné jméno a sloveso Norah Hronková / Carte Carte broșată
common.buy 82.74 lei
Grenzüberschreitende Titelgeltung in der Europäischen Union. Max Christoph Peiffer / Carte Carte broșată
common.buy 553.91 lei
guerre de 1870, memoires. 8e edition Helmuth von Moltke / Carte Carte broșată
common.buy 181.35 lei
A Química Da Memória: Por Que OS Humanos N?o Devem Comer Carne Carlos L. Partidas / Carte Carte broșată
common.buy 81.39 lei
Kartenspiel: Kommt gut - Das Kartenspiel für mehr Oohs und Aahs Jüne Plã / Joc / Jucărie Joc
common.buy 116.13 lei
Petrolejové lampy Jaroslav Havlíček / Carte Carte broșată
common.buy 26.95 lei
Datenvisualisierung boolescher Anfragen Dianqiang Yang / Carte Carte broșată
common.buy 261.30 lei

This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.

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 Rohit Gheyi, David Naumann
Limba engleză
Legare Carte - Carte broșată
Data publicării 2012
Număr pagini 227
EAN 9783642332951
ISBN 3642332951
Codul Libristo 01662107
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 373
Dimensiuni 155 x 235 x 14

Categorii

Computing & Information Technology > Computer science > Human–computer interaction > Information architecture
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

Hard Bop David H. Rosenthal / Carte Carte broșată
common.buy 102.33 lei
BERSERK OF GLUTTONY V10 V10 / Carte Carte broșată
common.buy 71.85 lei
The Holy Bible Translated From The Latin Vulgate ... The Old Testament First Published By The English College At Douay ... The New Testament At Rheims Anonymous / Carte Copertă tare
common.buy 277.06 lei
Pollyanna Eleanor H Porter / Carte Carte broșată
common.buy 54.43 lei
Social Communication in Advertising Leiss / Carte Carte broșată
common.buy 430.11 lei
An Oration Delivered Before the Literary Association, on Monday, the Fourth of July, 1836. William B Maclay / Carte Carte broșată
common.buy 66.25 lei
Fractions, Decimals and Percentages Book 4 (Year 4, Ages 8-9) Schofield & Sims / Carte Carte broșată
common.buy 36.70 lei
Essential Nursing Care for Children and Young People Chris Thurston / Carte Copertă tare
common.buy 1 299.88 lei
What You Think ADD/ADHD Is, It Isn't Barbara C. Fisher / Carte Copertă tare
common.buy 399.00 lei
Freshwater Fishing Tips and Techniques Gene Kugach / Carte Carte broșată
common.buy 94.76 lei
Aesthetics and the Theory of Criticism Arnold Isenberg / Carte Carte broșată
common.buy 236.20 lei
Contact with Chaos Michael Z Williamson / Carte Copertă tare
common.buy 120.69 lei
Journeying Wave Richmal Crompton / Carte Copertă tare
common.buy 132.61 lei
Piano Exam Pieces 2015 & 2016, Grade 5 / Carte Copertă tare
common.buy 99.33 lei
Intercultural Issues in Online Communication Verena Wiedmaier / Carte Carte broșată
common.buy 286.08 lei
People's Platform Astra Taylor / Carte Carte broșată
common.buy 81.80 lei
Logic for Concurrency and Synchronisation R.J. De Queiroz / Carte Carte broșată
common.buy 567.29 lei
Planning After Petroleum Jago Dodson / Carte Copertă tare
common.buy 1 299.88 lei
Event of Death: a Phenomenological Enquiry I. Leman-Stefanovic / Carte Carte broșată
common.buy 850.16 lei
Italian Renaissance in the German Historical Imagination, 1860-1930 Dr. Martin A. Ruehl / Carte Copertă tare
common.buy 521.87 lei
Dark Ages and the Age of Gold Russell A. Fraser / Carte Copertă tare
common.buy 883.35 lei
American History: A Very Short Introduction Paul S Boyer / Carte Carte broșată
common.buy 59.20 lei
Ballad And The Source Rosamond Lehmann / Carte Carte broșată
common.buy 156.36 lei
Interfacing PIC Microcontrollers Martin Bates / Carte Carte broșată
common.buy 294.79 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?