Menu
Află starea comenzii
Contactați-ne
Carte Computer Aided Verification Madhusudan Parthasarathy

Computer Aided Verification

24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

Autor: Madhusudan Parthasarathy, Sanjit A. Seshia
Limbă: engleză
Legare: Carte broșată
Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
276.72 lei
This book constitutes the refereed proceedings of the 24th International Conference on Computer Aide...

Informații despre carte

Autor
Madhusudan Parthasarathy, Sanjit A. Seshia
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2012
Pagini
789
EAN
9783642314230
ISBN
3642314236
Enbook ID
01661539
Editura
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutate
1200
Dimensiuni
155 x 235 x 44

Descriere completă

This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, CAV 2012, held in Berkeley, CA, USA in July 2012. The 38 regular and 20 tool papers presented were carefully reviewed and selected from 185 submissions. The papers are organized in topical sections on automata and synthesis, inductive inference and termination, abstraction, concurrency and software verification, biology and probabilistic systems, embedded and control systems, SAT/SMT solving and SMT-based verification, timed and hybrid systems, hardware verification, security, verification and synthesis, and tool demonstration.

S-ar putea să te intereseze

Eumon the Treleum

F R Kenabiget
105.01 lei

RIGBY PM PLUS

Rigby
303.76 lei

No-Nonsense Guide to Heat Wave, Drought, & Hot Weather Safety

Jeffery Sims
60.52 lei

Life and Times of A Black Man from Georgia

Coach James Carr
97.24 lei

Waste Books

Georg Lichtenberg
77.07 lei

Walking the Tightrope of Reason

Robert Fogelin
99.77 lei

Atlas of Nevada Conifers

David Alan Charlet
180.88 lei

101 Recipes for Making Cheese

Cynthia Martin
157.78 lei

Forensic Sciences of CSI

Elke Weissmann
437.64 lei

Callback

Bill Svanoe
93.71 lei

Lutchmee and Dilloo

John Edward Jenkins
139.92 lei

To the Point of a Powerful Return

Janice Darty
92.40 lei

Django 1.1 Testing and Debugging

K. Tracey
300.03 lei

Britcoms FAQ

Dave Thompson
107.54 lei

Space Explorers

McGraw-Hill Education
126.90 lei

M-Step Grade 8 English Language Arts Flashcard Study System: M-Step Test Practice Questions and Exam Review for the Michigan Student Test of Education

M-Step Exam Secrets Test Prep
215.99 lei

Fatigue of the Shari'a

A. Ahmad
285.30 lei

European Union and the BRICS

Marek Rewizorski
276.72 lei

How Hard Can It Be?

Allison Pearson
64.25 lei

Multiplicative Invariant Theory

Martin Lorenz
606.92 lei

Steel Wheels Live

Rolling Stones
279.45 lei

A Handbook Of Rocks: For Use Without The Petrographic Microscope

James Furman Kemp
192.88 lei

Soul Plan

Blue Marsden
92.61 lei

Extending jQuery

Keith Wood
260.88 lei

Clienții care au cumpărat această carte au mai cumpărat și

Paladear con el cerebro

Francisco Javier Cudeiro Mazaira
78.78 lei

Soupis staročeských exempel

Karel Dvořák
48.92 lei

Grammaire Anglaise

Anne-Marie Bonnerot
22.69 lei

Netzwerk

Stefanie Dengler
110.66 lei

Tonio Kröger

Thomas Mann
60.92 lei

Gesse wird deheim

Svetlana Handschuh
70.21 lei

Hände weg von Mississippi

Cornelia Funke
64.46 lei

Die Radiotrinkerin

Max Goldt
68.29 lei

Das Bevölkerungspotential der Sowjetunion.

Ernst Eisendrath
111.77 lei

Blanche-Neige doit mourir

Nele Neuhaus
70.81 lei

Karl May Moc fantázie

Helmut Schmiedt
84.03 lei

Nunca mas olvidada

Christina McKnight
25.21 lei

La Guerre au XXIe siecle

Murawiec Laurent Murawiec
93.51 lei