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

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
331.86 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 425.03 lei
SUZUME OFFICIAL VISUAL GUIDE (ARTBOOK VO JAPONAIS) Makoto Shinkai / Carte Carte broșată
common.buy 186.02 lei
2019 ELECCIO GOURMAND. GUIA DE RESTAURANTS I HOTELS DE CATA LLOVELL / Carte Carte broșată
common.buy 138.66 lei
LA MALDICIóN DE JACINTA PICHIMAHUIDA PUENZO / Carte Carte broșată
common.buy 93.47 lei
Top
Mágikus világok Johanna Basford / Carte Carte broșată
common.buy 63.77 lei
Miasto gangow. Ukryte swiaty Rio de Janeiro Czeszumski / Audiobook MP3
common.buy 37.38 lei
Монстр продаж. Как чертовски хорошо продавать и богатеть И. Рызов / Carte Carte broșată
common.buy 105.11 lei
El profesor de inglés Wang Gang / Carte Carte broșată
common.buy 123.08 lei
Die pädagogische Relevanz von Rousseaus "Emil" Anonym / Carte Carte broșată
common.buy 89.53 lei
Das Gehirn Marc Dingman / Carte Copertă tare
common.buy 94.30 lei
LO QUE APRENDÍ HASTA LOS 30 JORGE LORENZO GUERRERO / Carte Carte broșată
common.buy 41.54 lei
Top
Jak napsat dobrý scénář Syd Field / Carte Copertă tare
common.buy 63.14 lei
Piensa, es gratis Joaquín Lorente Soler / Carte Carte broșată
common.buy 104.90 lei
Evaluacion de la eficiencia del riego en sistema Enrollador en Amancio Gonzalez Perez Jorge Alfredo / Carte Carte broșată
common.buy 197.66 lei
Pilates und Dehnung. Eine symbiotische Verbindung Stephanie Gebauer / Carte Carte broșată
common.buy 148.84 lei
Gerichtsbarkeit in der Tschechischen Republik Karel Schelle / Carte Carte broșată
common.buy 261.75 lei
Bedeutung des Tai Chi Chuan fur die Gesundheitspravention Maria Theresia Bitterli / Carte Carte broșată
common.buy 79.76 lei
Geometry and Differential Geometry Rafael Artzy / Carte Carte broșată
common.buy 256.35 lei
Produktionseigenarten der chemischen Industrie, ihr Einfluß auf Kalkulation und Programmgestaltung. Bernhard Weblus / Carte Carte broșată
common.buy 197.66 lei
Super M - Mathematik für alle - Östliche Bundesländer und Berlin - 2. Schuljahr Klaus Heinze / Carte Foaie
common.buy 71.97 lei
Kameny a hvězdy Václav Cílek / Carte Copertă tare
common.buy 65.74 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 851.64 lei
Mister Rainbow C. S. Boag / Carte Carte broșată
common.buy 178.65 lei
Solar Eclipse Daniel Greene / Carte Carte broșată
common.buy 51.93 lei
The Automobile Green Book Automobile Legal Association / Carte Carte broșată
common.buy 101.06 lei
The Sleep Gas / Carte Carte broșată
common.buy 100.12 lei
I Am Bunter: How to Manipulate Your Humans and Keep Them Firmly Under Your Paw Pippin Mole / Carte Carte broșată
common.buy 71.77 lei
LEGO Star Wars Awesome Vehicles DK / Carte Copertă tare
common.buy 82.67 lei
Valuing Films L. Hubner / Carte Carte broșată
common.buy 293.74 lei
Pro Angular Adam Freeman / E-book Adobe ePub DRM
common.buy 384.11 lei
Aesops Fables Jerry Pinkney / Carte Copertă tare
common.buy 91.09 lei
Puzzle Ignacio Gonz Li N / Carte Carte broșată
common.buy 73.11 lei
Anti-Disturbance Control for Systems with Multiple Disturbances Songyin Cao / Carte Copertă tare
common.buy 1 684.38 lei
READ THE BIBLE SMARTER NOT HARDER CHRISTOPHER R SMITH / Carte Carte broșată
common.buy 116.33 lei
National Uncanny Renee L. Bergland / Carte Carte broșată
common.buy 144.48 lei
Launch Boys' Adventures in Northern Waters Edward Sylvester Ellis / Carte Carte broșată
common.buy 64.91 lei
The World's Fastest Level Up (Manga) Vol. 1 Fame / Carte Carte broșată
common.buy 77.69 lei
Rota Fortunae THIRTEEN O'CL PRESS / Carte Carte broșată
common.buy 80.70 lei
Computer Aided Architectural Design Futures 2001 Bauke de Vries / Carte Copertă tare
common.buy 1 772.88 lei
Alice Hugo Vickers / Carte Carte broșată
common.buy 112.69 lei
Biometric Recognition Wei Jia / Carte Carte broșată
common.buy 511.56 lei
Accessible Assessment and Pedagogies Linda J. Graham / Carte Carte broșată
common.buy 337.47 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?