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 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Poštovani korisnici, zbog državnog praznika korisnička podrška danas nije dostupna. Na vaše zahtjeve odgovorit ćemo sljedeći radni dan. Hvala vam na razumijevanju.
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Verification, Model Checking, and Abstract Interpretation

14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Verification, Model Checking, and Abstract Interpretation Roberto Giacobazzi
Libristo kod: 01662910
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, siječanj 2013
This book constitutes the refereed proceedings of the 14th International Conference on Verification,... Cijeli opis
? points 125 b
51.69 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Schmerz N. Birbaumer / Knjiga Meki uvez
common.buy 53.11 €
Droit Des Femmes Et Le Mariage, Etudes Critiques de Legislation Comparee BRIDEL-L / Knjiga Meki uvez
common.buy 19.32 €
Straßenverkehrsordnung (StVO) / Knjiga Meki uvez
common.buy 17.39 €
Morgavsa a Morgana Tajemství bájné Chlupambry Petr Kopl / Knjiga Tvrdi uvez
common.buy 10.71 €
Praha Thomas Käfer / Knjiga Meki uvez
common.buy 20.63 €
Faustine Ida von Hahn-Hahn / Knjiga Meki uvez
common.buy 13.55 €
Foto-Grafie. Fotografische Narrativität im Werk von Ida Fink Agnieszka Rz dca / Knjiga Meki uvez
common.buy 31.76 €
Ostseeküste Mecklenburg-Vorpommern und Rügen Heidrun Hoffmann / Knjiga Meki uvez
common.buy 14.86 €
SONATE PIANO PIANO ROBERT MOEVS Knjiga binding.
common.buy 33.28 €
Une Vie pour une Autre Levet / Knjiga Meki uvez
common.buy 21.84 €
Nur ein Geiger Hans Christian Andersen / Knjiga Meki uvez
common.buy 21.44 €
Beratung zwischen Tur und Angel Heino Hollstein-Brinkmann / Knjiga Meki uvez
common.buy 61.30 €
Die Entwicklung des Religionsbegriffs bei Schleiermacher Eugen Huber / Knjiga Meki uvez
common.buy 29.43 €
Traite de Morale, Reimprime d'Apres l'Edition de 1707 Malebranche-N / Knjiga Meki uvez
common.buy 25.18 €
Dramaturgie in der Ausstellung Sibylle Lichtensteiger / Knjiga Meki uvez
common.buy 20.12 €
Entwicklung und Implementierung eines drahtlosen Sensor-Aktor-Netzwerks fur ein Parkleitsystem Tom Filbrandt / Knjiga Meki uvez
common.buy 25.08 €
Verbreitung und die Herkunft der Deutschen in Schlesien Karl Weinhold / Knjiga Meki uvez
common.buy 12.64 €
Metodologia de previsao do potencial eolico de curto prazo Ferreira Adir a B / Knjiga Meki uvez
common.buy 48.96 €
Gabler Lexikon Personal Ulrich Büdenbender / Knjiga Meki uvez
common.buy 51.89 €
System der Politik Harald Bluhm / Knjiga Meki uvez
common.buy 42.48 €
Zum Bildungsbedarf für Datensicherheit Frank Spieß / Knjiga Meki uvez
common.buy 65.35 €
Doru Lineare, Un Insecto de Importancia Agronomica En Cultivo de Maiz Gladys Mabel Romero Sueldo / Knjiga Meki uvez
common.buy 34.90 €
Datenbanksysteme für Software-Produktionsumgebungen Willi Gotthard / Knjiga Meki uvez
common.buy 53.11 €

This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-located with the Symposium on Principles of Programming Languages, POPL 2013. §The 27 revised full papers presented were carefully reviewed and selected from 72 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type system, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

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 Verification, Model Checking, and Abstract Interpretation
Autor Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2013
Broj stranica 556
EAN 9783642358722
ISBN 3642358721
Libristo kod 01662910
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 860
Dimenzije 155 x 235 x 31

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Software Engineering > Software testing & verification
Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
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

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications César San Martin / Knjiga Meki uvez
common.buy 58.57 €
Non-equilibrium Thermodynamics of Superfluid Helium and Quantum Turbulence Maria Stella Mongiovì / Knjiga Tvrdi uvez
common.buy 85.69 €
Albert and the Pond Ian Brown / Knjiga Meki uvez
common.buy 8.69 €
Top
The Mind's Eye Peter Jackson-Main / Knjiga Meki uvez
common.buy 36.92 €
Dictionary of Scholastic Philosophy Bernard Wuellner / Knjiga Meki uvez
common.buy 19.01 €
Krampus Tales: A Killer Anthology Sinead McCabe / Knjiga Meki uvez
common.buy 13.04 €
Quotable Kid Book: A Parent's Keepsake of Unforgettable Quotes Rlt Print / Knjiga Meki uvez
common.buy 7.58 €
Return to Limerick W. L. Wright / Knjiga Meki uvez
common.buy 13.85 €
The House of a Thousand Candles Meredith Nicholson / Knjiga Meki uvez
common.buy 14.05 €
Legend of the Lost William Wayne Dicksion / Knjiga Meki uvez
common.buy 12.23 €
Ripley's Canyon Richard Brauer / Knjiga Meki uvez
common.buy 16.48 €
Leave It to Me... My Life in Music Donn Trenner / Knjiga Meki uvez
common.buy 26.90 €
Developments in Healthcare Information Systems and Technologies Joseph Tan / Knjiga Tvrdi uvez
common.buy 257.69 €
I Already Am Vincent Tozzi / Knjiga Meki uvez
common.buy 12.84 €
Analects of Confucius Arthur Waley / Knjiga Tvrdi uvez
common.buy 121.40 €
Top
Beyond Horse Massage Jim Masterson / Knjiga Tvrdi uvez
common.buy 28.12 €
Dying for the Dark Peter Lancett / Knjiga Meki uvez
common.buy 6.67 €

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