A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD futárszolgálat 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft DPD gyűjtőpont 990 Ft GLS futár 1 690 Ft GLS pont 1 190 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Verification, Model Checking, and Abstract Interpretation

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

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Verification, Model Checking, and Abstract Interpretation Roberto Giacobazzi
Libristo kód: 01662910
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, január 2013
This book constitutes the refereed proceedings of the 14th International Conference on Verification,... Teljes leírás
? points 136 b
19 766 Ft
Beszállítói készleten Küldés 5-8 napon belül

Akár 30 napos visszaküldési lehetőség

A vásárlók ilyet vásároltak

Schmerz N. Birbaumer / Könyv Puha kötésű
common.buy 20 307 Ft
Droit Des Femmes Et Le Mariage, Etudes Critiques de Legislation Comparee BRIDEL-L / Könyv Puha kötésű
common.buy 7 335 Ft
Straßenverkehrsordnung (StVO) / Könyv Puha kötésű
common.buy 6 417 Ft
Morgavsa a Morgana Tajemství bájné Chlupambry Petr Kopl / Könyv Kemény kötésű
common.buy 4 003 Ft
Praha Thomas Käfer / Könyv Puha kötésű
common.buy 7 946 Ft
Faustine Ida von Hahn-Hahn / Könyv Puha kötésű
common.buy 5 196 Ft
Foto-Grafie. Fotografische Narrativität im Werk von Ida Fink Agnieszka Rz dca / Könyv Puha kötésű
common.buy 11 847 Ft
Ostseeküste Mecklenburg-Vorpommern und Rügen Heidrun Hoffmann / Könyv Puha kötésű
common.buy 5 545 Ft
SONATE PIANO PIANO ROBERT MOEVS Könyv binding.
common.buy 12 256 Ft
Une Vie pour une Autre Levet / Könyv Puha kötésű
common.buy 8 051 Ft
Nur ein Geiger Hans Christian Andersen / Könyv Puha kötésű
common.buy 8 267 Ft
Beratung zwischen Tur und Angel Heino Hollstein-Brinkmann / Könyv Puha kötésű
common.buy 23 507 Ft
Die Entwicklung des Religionsbegriffs bei Schleiermacher Eugen Huber / Könyv Puha kötésű
common.buy 11 352 Ft
Traite de Morale, Reimprime d'Apres l'Edition de 1707 Malebranche-N / Könyv Puha kötésű
common.buy 9 534 Ft
Dramaturgie in der Ausstellung Sibylle Lichtensteiger / Könyv Puha kötésű
common.buy 7 468 Ft
Entwicklung und Implementierung eines drahtlosen Sensor-Aktor-Netzwerks fur ein Parkleitsystem Tom Filbrandt / Könyv Puha kötésű
common.buy 9 649 Ft
Verbreitung und die Herkunft der Deutschen in Schlesien Karl Weinhold / Könyv Puha kötésű
common.buy 4 861 Ft
Metodologia de previsao do potencial eolico de curto prazo Ferreira Adir a B / Könyv Puha kötésű
common.buy 18 866 Ft
Gabler Lexikon Personal Ulrich Büdenbender / Könyv Puha kötésű
common.buy 19 899 Ft
System der Politik Harald Bluhm / Könyv Puha kötésű
common.buy 16 318 Ft
Zum Bildungsbedarf für Datensicherheit Frank Spieß / Könyv Puha kötésű
common.buy 24 278 Ft
Doru Lineare, Un Insecto de Importancia Agronomica En Cultivo de Maiz Gladys Mabel Romero Sueldo / Könyv Puha kötésű
common.buy 13 436 Ft
Datenbanksysteme für Software-Produktionsumgebungen Willi Gotthard / Könyv Puha kötésű
common.buy 20 307 Ft

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.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Verification, Model Checking, and Abstract Interpretation
Szerző Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2013
Oldalszám 556
EAN 9783642358722
ISBN 3642358721
Libristo kód 01662910
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 860
Méretek 155 x 235 x 31

Kategória

Technológia, mérnöki tudományok, mezőgazdaság > Elektronikus és kommunikációs gépészet > Villamosmérnöki tudomány > Automata irányítási gépészet > Robotika
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány > Szoftvertesztelés és verifikáció
Számítástechnika és információtechnológia > Számítógéptudomány > Ember-számítógép interakció > Használói interfész dizájn és használhatóság
Számítástechnika és információtechnológia > Számítógépes hardver > Hálózati hardver
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Számítástechnika és információtechnológia > Számítógéptudomány > Mesterséges intelligencia
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Ezt is ajánljuk

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications César San Martin / Könyv Puha kötésű
common.buy 22 111 Ft
Non-equilibrium Thermodynamics of Superfluid Helium and Quantum Turbulence Maria Stella Mongiovì / Könyv Kemény kötésű
common.buy 32 852 Ft
Albert and the Pond Ian Brown / Könyv Puha kötésű
common.buy 3 273 Ft
Toplistás
The Mind's Eye Peter Jackson-Main / Könyv Puha kötésű
common.buy 13 684 Ft
Dictionary of Scholastic Philosophy Bernard Wuellner / Könyv Puha kötésű
common.buy 7 280 Ft
Krampus Tales: A Killer Anthology Sinead McCabe / Könyv Puha kötésű
common.buy 4 962 Ft
Quotable Kid Book: A Parent's Keepsake of Unforgettable Quotes Rlt Print / Könyv Puha kötésű
common.buy 2 897 Ft
Return to Limerick W. L. Wright / Könyv Puha kötésű
common.buy 5 283 Ft
The House of a Thousand Candles Meredith Nicholson / Könyv Puha kötésű
common.buy 5 371 Ft
Legend of the Lost William Wayne Dicksion / Könyv Puha kötésű
common.buy 4 645 Ft
Ripley's Canyon Richard Brauer / Könyv Puha kötésű
common.buy 6 403 Ft
Leave It to Me... My Life in Music Donn Trenner / Könyv Puha kötésű
common.buy 10 232 Ft
Developments in Healthcare Information Systems and Technologies Joseph Tan / Könyv Kemény kötésű
common.buy 95 298 Ft
I Already Am Vincent Tozzi / Könyv Puha kötésű
common.buy 4 962 Ft
Analects of Confucius Arthur Waley / Könyv Kemény kötésű
common.buy 44 718 Ft
Toplistás
Beyond Horse Massage Jim Masterson / Könyv Kemény kötésű
common.buy 10 466 Ft
Dying for the Dark Peter Lancett / Könyv Puha kötésű
common.buy 2 488 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?