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 Cargus 28.00 lei Easybox 20.00 lei FAN 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.

Runtime Verification

Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

Limba englezăengleză
Carte Carte broșată
Carte Runtime Verification Shaz Qadeer
Codul Libristo: 01662853
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ianuarie 2013
This book constitutes the thoroughly refereed post-conference proceedings of the Third International... Descrierea completă
? points 132 b
286.33 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Persönlichkeitsschutz durch präventive Kontrolle. Lars Wildhagen / Carte Carte broșată
common.buy 419.54 lei
SPA-ARBOL QUE TREPO EL OSO Kathleen Rietz / Carte Carte broșată
common.buy 64.08 lei
Spielplatzguide Berlin - Reiseführer für Familien Reisedepeschen / Carte Carte broșată
common.buy 120.25 lei
Ankimi i Luciferrit Petraq Risto / Carte Carte broșată
common.buy 109.81 lei
Kniha čínského umění léčby Li Wu / Carte Carte broșată
common.buy 75.47 lei
Nicht immer denken Norman Schmid / Carte Carte broșată
common.buy 58.24 lei
DAEMON; . Daniel Suarez / Carte Carte broșată
common.buy 110.23 lei
Poď sa s nami hrať! collegium / Carte Carte broșată
common.buy 10.22 lei

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Runtime Verification, RV 2012, held in Istanbul, Turkey, in September 2012.§The 25 revised full papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 50 submissions. The papers address a wide range of specification languages and formalisms for traces, specification mining, program instrumentation, monitor construction techniques, logging, recording, and replay, fault detection, localization, recovery and repair, program steering and adaptation, metrics and statistical information gathering, combination of static and dynamic analyses and program execution visualization.

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 Runtime Verification
Autor Shaz Qadeer, Serdar Tasiran
Limba engleză
Legare Carte - Carte broșată
Data publicării 2013
Număr pagini 322
EAN 9783642356315
ISBN 3642356311
Codul Libristo 01662853
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 516
Dimensiuni 155 x 235 x 18

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
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

Georgia Tax Lien & Deeds Real Estate Investing & Financing Book Brian Mahoney / Carte Carte broșată
common.buy 62.00 lei
Practice Makes Perfect: Spanish Irregular Verbs Up Close Eric W. Vogt / Carte Carte broșată
common.buy 95.61 lei
Do You Dream of Terra-Two? Temi Oh / Carte Carte broșată
common.buy 75.88 lei
Pipe Dreams Peterson / Carte Copertă tare
common.buy 837.63 lei
Why are Most Buildings Rectangular? Philip Steadman / Carte Carte broșată
common.buy 386.97 lei
Invisible J. R. Solonche / Carte Carte broșată
common.buy 71.92 lei
Practitioner's Guide to Health Informatics Mark L. Braunstein / Carte Carte broșată
common.buy 280.38 lei
White Swan Express Jean Davies Okimoto / Carte Carte broșată
common.buy 70.45 lei
Preparing for a Healthy Birth Sylvie Donna / Carte Carte broșată
common.buy 149.79 lei
Punishment Club Jacqueline Masterson / Carte Carte broșată
common.buy 147.18 lei
Victory through Harmony Christina L. Baade / Carte Carte broșată
common.buy 208.25 lei
Extended Family of Jesus M D Rev David P Friedline / Carte Carte broșată
common.buy 216.50 lei
Curând
I-writing Karen Surman Paley / Carte Copertă tare
common.buy 296.46 lei
Fantasy Fashion & Affection Gertzman / Carte Carte broșată
common.buy 73.06 lei
Intonation Systems Daniel HirstAlbert Di Cristo / Carte Carte broșată
common.buy 461.09 lei
Application of Particle and Laser Beams in Materials Technology P. Misaelides / Carte Copertă tare
common.buy 1 720.67 lei
Lust DAHL ROALD / Carte Carte broșată
common.buy 66.49 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