Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Formal Methods: Foundations and Applications

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Formal Methods: Foundations and Applications Adenilso Simao
Libristo kod: 01659166
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, listopad 2011
This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symp... Cijeli opis
? points 153 b
63.40 €
Vanjske zalihe Šaljemo za 10-18 dana

Do 30 dana za povrat

Kupci su kupili i

Die Polysaccharide Hans Pringsheim / Knjiga Meki uvez
common.buy 77.06 €
Монстр продаж. Как чертовски хорошо продавать и богатеть И. Рызов / Knjiga Meki uvez
common.buy 18.09 €
Top
Mágikus világok Johanna Basford / Knjiga Meki uvez
common.buy 11.52 €
LA MALDICIóN DE JACINTA PICHIMAHUIDA PUENZO / Knjiga Meki uvez
common.buy 16.98 €
El profesor de inglés Wang Gang / Knjiga Meki uvez
common.buy 22.34 €
2019 ELECCIO GOURMAND. GUIA DE RESTAURANTS I HOTELS DE CATA LLOVELL / Knjiga Meki uvez
common.buy 25.27 €
Top
Progetto Italiano 1 Słowniczek + Elementy OOP Telis Marin / Knjiga Meki uvez
common.buy 8.28 €
SUZUME OFFICIAL VISUAL GUIDE (ARTBOOK VO JAPONAIS) Makoto Shinkai / Knjiga Meki uvez
common.buy 33.77 €
Das Gehirn Marc Dingman / Knjiga Tvrdi uvez
common.buy 16.98 €
Top
LO QUE APRENDÍ HASTA LOS 30 JORGE LORENZO GUERRERO / Knjiga Meki uvez
common.buy 7.47 €
Jak napsat dobrý scénář Syd Field / Knjiga Tvrdi uvez
common.buy 11.32 €
Piensa, es gratis Joaquín Lorente Soler / Knjiga Meki uvez
common.buy 18.90 €
Evaluacion de la eficiencia del riego en sistema Enrollador en Amancio Gonzalez Perez Jorge Alfredo / Knjiga Meki uvez
common.buy 35.69 €
Pilates und Dehnung. Eine symbiotische Verbindung Stephanie Gebauer / Knjiga Meki uvez
common.buy 26.89 €
Gerichtsbarkeit in der Tschechischen Republik Karel Schelle / Knjiga Meki uvez
common.buy 47.22 €
Geometry and Differential Geometry Rafael Artzy / Knjiga Meki uvez
common.buy 46.41 €
Produktionseigenarten der chemischen Industrie, ihr Einfluß auf Kalkulation und Programmgestaltung. Bernhard Weblus / Knjiga Meki uvez
common.buy 45.80 €
Super M - Mathematik für alle - Östliche Bundesländer und Berlin - 2. Schuljahr Klaus Heinze / Knjiga List
common.buy 13.14 €
Kameny a hvězdy Václav Cílek / Knjiga Tvrdi uvez
common.buy 11.82 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Formal Methods: Foundations and Applications
Autor Adenilso Simao, Carroll Morgan
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2011
Broj stranica 205
EAN 9783642250316
ISBN 3642250319
Libristo kod 01659166
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 338
Dimenzije 155 x 235 x 15

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Advanced Methods for Computational Collective Intelligence Geun-Sik Jo / Knjiga Meki uvez
common.buy 154.32 €
Mister Rainbow C. S. Boag / Knjiga Meki uvez
common.buy 32.66 €
Puzzle Ignacio Gonz Li N / Knjiga Meki uvez
common.buy 11.92 €
The Automobile Green Book Automobile Legal Association / Knjiga Meki uvez
common.buy 18.40 €
Solar Eclipse Daniel Greene / Knjiga Meki uvez
common.buy 9.40 €
The Sleep Gas / Knjiga Meki uvez
common.buy 18.60 €
I Am Bunter: How to Manipulate Your Humans and Keep Them Firmly Under Your Paw Pippin Mole / Knjiga Meki uvez
common.buy 13.04 €
LEGO Star Wars Awesome Vehicles DK / Knjiga Tvrdi uvez
common.buy 14.65 €
Valuing Films L. Hubner / Knjiga Meki uvez
common.buy 53.29 €
Pro Angular Adam Freeman / E-knjiga Adobe ePub DRM
common.buy 70.68 €
Povoljno
Aesops Fables Jerry Pinkney / Knjiga Tvrdi uvez
common.buy 9.80 €
Anti-Disturbance Control for Systems with Multiple Disturbances Songyin Cao / Knjiga Tvrdi uvez
common.buy 327.27 €
Computer Aided Architectural Design Futures 2001 Bauke de Vries / Knjiga Tvrdi uvez
common.buy 323.32 €
Biometric Recognition Wei Jia / Knjiga Meki uvez
common.buy 92.63 €
Accessible Assessment and Pedagogies Linda J. Graham / Knjiga Meki uvez
common.buy 61.68 €
Alice Hugo Vickers / Knjiga Meki uvez
common.buy 20.12 €
Rota Fortunae THIRTEEN O'CL PRESS / Knjiga Meki uvez
common.buy 13.54 €
The World's Fastest Level Up (Manga) Vol. 1 Fame / Knjiga Meki uvez
common.buy 13.95 €
Launch Boys' Adventures in Northern Waters Edward Sylvester Ellis / Knjiga Meki uvez
common.buy 11.72 €
National Uncanny Renee L. Bergland / Knjiga Meki uvez
common.buy 26.49 €
READ THE BIBLE SMARTER NOT HARDER CHRISTOPHER R SMITH / Knjiga Meki uvez
common.buy 20.93 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?