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 Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Formal Methods: Foundations and Applications

14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Formal Methods: Foundations and Applications Adenilso Simao
Codul Libristo: 01659166
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, octombrie 2011
This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symp... Descrierea completă
? points 153 b
334.03 lei
În depozitul extern Expediem în 10-18 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Die Polysaccharide Hans Pringsheim / Carte Carte broșată
common.buy 427.81 lei
SUZUME OFFICIAL VISUAL GUIDE (ARTBOOK VO JAPONAIS) Makoto Shinkai / Carte Carte broșată
common.buy 185.46 lei
Top
Progetto Italiano 1 Słowniczek + Elementy OOP Telis Marin / Carte Carte broșată
common.buy 45.89 lei
En plein cœur de la vie, histoire de civils Bierce / Carte Carte
common.buy 68.36 lei
2019 ELECCIO GOURMAND. GUIA DE RESTAURANTS I HOTELS DE CATA LLOVELL / Carte Carte broșată
common.buy 139.77 lei
Mágikus világok Johanna Basford / Carte Carte broșată
common.buy 64.18 lei
PONS Der große Sprachkurs Englisch / Carte Carte broșată
common.buy 90.11 lei
Miasto gangow. Ukryte swiaty Rio de Janeiro Czeszumski / Audiobook MP3
common.buy 37.84 lei
LA MALDICIóN DE JACINTA PICHIMAHUIDA PUENZO / Carte Carte broșată
common.buy 94.29 lei
Монстр продаж. Как чертовски хорошо продавать и богатеть И. Рызов / Carte Carte broșată
common.buy 101.40 lei
El profesor de inglés Wang Gang / Carte Carte broșată
common.buy 124.09 lei
Das Gehirn Marc Dingman / Carte Copertă tare
common.buy 94.92 lei
Top
LO QUE APRENDÍ HASTA LOS 30 JORGE LORENZO GUERRERO / Carte Carte broșată
common.buy 42.02 lei
El matrimonio, comunidad de vida y amor Claret Nonell / Carte Carte broșată
common.buy 190.69 lei
Jak napsat dobrý scénář Syd Field / Carte Copertă tare
common.buy 63.56 lei
Piensa, es gratis Joaquín Lorente Soler / Carte Carte broșată
common.buy 105.79 lei
Suppli 6 Mari Okazaki / Carte Carte broșată
common.buy 33.55 lei
Evaluacion de la eficiencia del riego en sistema Enrollador en Amancio Gonzalez Perez Jorge Alfredo / Carte Carte broșată
common.buy 198.95 lei
Pilates und Dehnung. Eine symbiotische Verbindung Stephanie Gebauer / Carte Carte broșată
common.buy 149.81 lei
Gerichtsbarkeit in der Tschechischen Republik Karel Schelle / Carte Carte broșată
common.buy 263.46 lei
Geometry and Differential Geometry Rafael Artzy / Carte Carte broșată
common.buy 258.02 lei
Produktionseigenarten der chemischen Industrie, ihr Einfluß auf Kalkulation und Programmgestaltung. Bernhard Weblus / Carte Carte broșată
common.buy 253.84 lei
Super M - Mathematik für alle - Östliche Bundesländer und Berlin - 2. Schuljahr Klaus Heinze / Carte Foaie
common.buy 72.44 lei
Kameny a hvězdy Václav Cílek / Carte Copertă tare
common.buy 66.17 lei

This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice. The 13 revised full papers were carefully reviewed and selected from 37 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 Adenilso Simao, Carroll Morgan
Limba engleză
Legare Carte - Carte broșată
Data publicării 2011
Număr pagini 205
EAN 9783642250316
ISBN 3642250319
Codul Libristo 01659166
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 338
Dimensiuni 155 x 235 x 15

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

Advanced Methods for Computational Collective Intelligence Geun-Sik Jo / Carte Carte broșată
common.buy 857.20 lei
Mister Rainbow C. S. Boag / Carte Carte broșată
common.buy 179.82 lei
Anti-Disturbance Control for Systems with Multiple Disturbances Songyin Cao / Carte Copertă tare
common.buy 1 810.59 lei
Leftin
Aesops Fables Jerry Pinkney / Carte Copertă tare
common.buy 51.64 lei
The World's Fastest Level Up (Manga) Vol. 1 Fame / Carte Carte broșată
common.buy 77.98 lei
Valuing Films L. Hubner / Carte Carte broșată
common.buy 295.66 lei
Pro Angular Adam Freeman / E-book Adobe ePub DRM
common.buy 389.54 lei
LEGO Star Wars Awesome Vehicles DK / Carte Copertă tare
common.buy 83.42 lei
Puzzle Ignacio Gonz Li N / Carte Carte broșată
common.buy 62.72 lei
I Am Bunter: How to Manipulate Your Humans and Keep Them Firmly Under Your Paw Pippin Mole / Carte Carte broșată
common.buy 72.23 lei
The Sleep Gas / Carte Carte broșată
common.buy 103.39 lei
Solar Eclipse Daniel Greene / Carte Carte broșată
common.buy 52.26 lei
The Automobile Green Book Automobile Legal Association / Carte Carte broșată
common.buy 101.72 lei
Unfuck Your Body Harper Phd Lpc-S Acs Acn Faith / Carte Carte broșată
common.buy 67.53 lei
READ THE BIBLE SMARTER NOT HARDER CHRISTOPHER R SMITH / Carte Carte broșată
common.buy 117.09 lei
Adlerian Lifestyle Counseling Warren R. Rule / Carte Copertă tare
common.buy 484.37 lei
National Uncanny Renee L. Bergland / Carte Carte broșată
common.buy 145.42 lei
Launch Boys' Adventures in Northern Waters Edward Sylvester Ellis / Carte Carte broșată
common.buy 65.33 lei
Alice Hugo Vickers / Carte Carte broșată
common.buy 113.22 lei
Duke Ellington / Carte Carte broșată
common.buy 89.90 lei
Rota Fortunae THIRTEEN O'CL PRESS / Carte Carte broșată
common.buy 71.61 lei
Le voyageur imprudent Barjavel / Carte Carte broșată
common.buy 62.09 lei
Computer Aided Architectural Design Futures 2001 Bauke de Vries / Carte Copertă tare
common.buy 1 784.46 lei
Biometric Recognition Wei Jia / Carte Carte broșată
common.buy 514.69 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