Theory and Applications of Satisfiability Testing - SAT 2013 - Matti Jarvisalo, Allen Van Gelder
Matti Jarvisalo, Allen Van Gelder |
2013 |
Zachte kaft |
Engels
Uitverkocht – niet meer leverbaar
Niet op voorraad in de winkel
€ 75,00
Beschrijving
The 21 regular papers, 5 short papers, and 5 tool papers presented together with 3 invited talks were carefully reviewed and selected from 71 submissions (850 regular, 15 short and 16 tool papers).
Specificaties
| Door (auteur) | Matti Jarvisalo, Allen Van Gelder |
| Uitgeverij | Van Ditmar Boekenimport B.V. |
| Genre | Exacte wetenschappen/natuurwetenschappen algemeen |
| Uitgave | Zachte kaft |
| Aantal pagina's | 437 |
| Verschenen op | 01-01-2013 |
| ISBN / EAN | 9783642390708 |
| Taal | Engels |
| Gewicht | 675 g |
| Hoogte | 238 mm |
| Breedte | 156 mm |
| Dikte | 27 mm |
