Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Computer Aided Verification Madhusudan Parthasarathy

Computer Aided Verification

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

Szerző: Madhusudan Parthasarathy, Sanjit A. Seshia
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 274 Ft
This book constitutes the refereed proceedings of the 24th International Conference on Computer Aide...

Információk a könyvről

Szerző
Madhusudan Parthasarathy, Sanjit A. Seshia
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2012
oldal
789
EAN
9783642314230
ISBN
3642314236
Enbook ID
01661539
Kiadó
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly
1200
Méretek
155 x 235 x 44

Teljes leírás

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.

Érdekelheti

Eumon the Treleum

F R Kenabiget
7 336 Ft

RIGBY PM PLUS

Rigby
21 162 Ft

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

Jeffery Sims
4 203 Ft

Life and Times of A Black Man from Georgia

Coach James Carr
6 754 Ft

Waste Books

Georg Lichtenberg
5 394 Ft

Walking the Tightrope of Reason

Robert Fogelin
7 081 Ft

Atlas of Nevada Conifers

David Alan Charlet
12 219 Ft

101 Recipes for Making Cheese

Cynthia Martin
11 002 Ft

Forensic Sciences of CSI

Elke Weissmann
30 387 Ft

Callback

Bill Svanoe
5 564 Ft

Lutchmee and Dilloo

John Edward Jenkins
9 780 Ft

To the Point of a Powerful Return

Janice Darty
6 401 Ft

Django 1.1 Testing and Debugging

K. Tracey
20 822 Ft

Britcoms FAQ

Dave Thompson
7 368 Ft

Space Explorers

McGraw-Hill Education
8 800 Ft

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
15 062 Ft

Fatigue of the Shari'a

A. Ahmad
19 855 Ft

European Union and the BRICS

Marek Rewizorski
19 274 Ft

How Hard Can It Be?

Allison Pearson
4 342 Ft

Multiplicative Invariant Theory

Martin Lorenz
42 267 Ft

Steel Wheels Live

Rolling Stones
18 880 Ft

A Handbook Of Rocks: For Use Without The Petrographic Microscope

James Furman Kemp
13 397 Ft

Soul Plan

Blue Marsden
6 244 Ft

Extending jQuery

Keith Wood
18 083 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Paladear con el cerebro

Francisco Javier Cudeiro Mazaira
5 322 Ft

Soupis staročeských exempel

Karel Dvořák
3 308 Ft

Grammaire Anglaise

Anne-Marie Bonnerot
1 531 Ft

Netzwerk

Stefanie Dengler
7 479 Ft

Tonio Kröger

Thomas Mann
4 118 Ft

Gesse wird deheim

Svetlana Handschuh
4 910 Ft

Hände weg von Mississippi

Cornelia Funke
4 512 Ft

Die Radiotrinkerin

Max Goldt
4 767 Ft

Das Bevölkerungspotential der Sowjetunion.

Ernst Eisendrath
7 551 Ft

Blanche-Neige doit mourir

Nele Neuhaus
4 785 Ft

Karl May Moc fantázie

Helmut Schmiedt
5 590 Ft

Nunca mas olvidada

Christina McKnight
1 705 Ft

La Guerre au XXIe siecle

Murawiec Laurent Murawiec
6 316 Ft