Model ship | Computing & Internet Books
Active Filters
Computing & Internet Books
(9780471380238 / 9780471380238)
(9780471380238 / 9780471380238)
(9780471380238 / 9780471380238)
(9780471380238 / 9780471380238)
(9780471380238 / 9780471380238)
No Starch Press,US (9781593276133 / illustrations) - Dimensions: 236 x 230 x 18 mm - Edition statement: 6th print. - Format: 192 pages - Height: 237 mm - Spine width: 19 mm - Width: 381 mm - No Starch Press
(9781118809990) - Adam Shostack - Paperback - JOHN WILEY (ORIGINAL) - Publication year: 2014
(9781118809990) - Adam Shostack - Paperback - JOHN WILEY (ORIGINAL) - Publication year: 2014
(9781107011793 / 36269665)
(9781107011793 / 36269665)
(9780241363669 / 33112852) - Dimensions: 153 x 234 x 18mm | 336g - Format: 256 pages - Height: 231 mm - Spine width: 19 mm - Width: 165 mm - Portfolio Penguin - London, United Kingdom - Penguin Books Ltd | Subscription model
Explore formal logic foundations for computer science, covering propositional and predicate calculus, model checking, temporal logics, and automated reasoning techniques with clear examples and proofs.
Explore formal logic foundations for computer science, covering propositional and predicate calculus, model checking, temporal logics, and automated reasoning techniques with clear examples and proofs.
Explore formal logic foundations for computer science, covering propositional and predicate calculus, model checking, temporal logics, and automated reasoning techniques with clear examples and proofs.
(9781788620901) - Height: 193 mm - Spine width: 17 mm - Width: 235 mm - Packt Publishing - Packt Publishing Limited - ISBN: 9781788620901 - Languages: English - Publication date: 31 Oct - Weight: 590 g
(9781788620901) - Height: 193 mm - Spine width: 17 mm - Width: 235 mm - Packt Publishing - Packt Publishing Limited - ISBN: 9781788620901 - Languages: English - Publication date: 31 Oct - Weight: 590 g
(9781788620901) - Height: 193 mm - Spine width: 17 mm - Width: 235 mm - Packt Publishing - Packt Publishing Limited - ISBN: 9781788620901 - Languages: English - Publication date: 31 Oct - Weight: 590 g
Routledge (9781138623934)
Filters