Nyt fra Neil D JonesVerification, Model Checking, and Abstract Interpretation (Paperback)
|
(ingen boganmeldelser)
|
|
 Tip
en ven
 Link
til denne side
|
| Normalpris: |
|
| Din pris: | kr. 421,42 |
| Du sparer: | DKK 148,53 (26,06%) |
| Leveringstid: |
5-10 hverdage
|
| Leveringspris: | kr 19,00 Gratis levering ved køb over kr 500 - Læs mere |
| Serie: | Lecture Notes in Computer Science / Theoretical Computer Science and General Issues (v. 5403) |
| Sprog: |
Engelsk
|
| Se produktdetaljer (sideantal, udgivelsesdato, udgave, ISBN m.v.) |
Alt om bogen:
Andre bøger, der måske vil interessere dig:
DKK 225,65
DKK 225,59
DKK 410,08
DKK 498,00
DKK 219,68
DKK 419,95
DKK 219,68
DKK 225,59
DKK 169,18
DKK 403,38
DKK 282,01
DKK 314,98
DKK 142,02
Beskrivelser af Verification, Model Checking, and Abstract Interpretation
- Forlagets beskrivelse
- Covers the proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2009. This book addresses issues from the communities of verification, model checking, and abstract interpretation. Illustrations
- Bibliotekernes beskrivelse
- The book constitutes the refereed proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2009, held in Savannah, GA, USA, in January 2009 - co-located with POPL 2009, the 36th Annual Symposium on Principles of Programming Languages. The 24 revised full papers presented together with 3 invited talks and 2 invited tutorials were carefully reviewed and selected from 72 submissions. The papers address all current issues from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine the three areas.
Anmeldelser af Verification, Model Checking, and Abstract Interpretation
Der er endnu ingen, der har anmeldt dette produkt.
Skriv en anmeldelse
Andre bøger af Neil D Jones, Markus Muller Olm
DKK 419,25
DKK 312,10
DKK 401,39
DKK 222,80
DKK 383,07
Se også:
- Bøger » Engelske bøger » Computing » General computing & IT
- Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Debat om Verification, Model Checking, and Abstract Interpretation
Her kan du starte en debat om bogen. Start en debat om denne bog
Verification, Model Checking, and Abstract Interpretation
