• No shipping costs from € 15, -
  • Lists and tips from our own specialists
  • Possibility of ordering without an account
  • No shipping costs from € 15, -
  • Lists and tips from our own specialists
  • Possibility of ordering without an account
0
checkout
0
checkout
  1. Home
  2. Computer science
  3. Computer Aided Verification

Computer Aided Verification

Hana Chockler & Georg Weissenbacher

Computer Aided Verification
Computer Aided Verification

Computer Aided Verification

Hana Chockler & Georg Weissenbacher

Hardback / bound | English
  • Available, delivery time is 10-15 working days
  • Not in stock in our shop
€89.50
  • From €15,- no shipping costs.
  • 30 days to change your mind and return physical products

Description

Specifications

  • Publisher
    Saint Philip Street Press
  • Pub date
    Oct 2020
  • Pages
    710
  • Theme
    Computer science
  • Dimensions
    279 x 216 x 38 mm
  • Weight
    1910 gram
  • EAN
    9781013270994
  • Hardback / bound
    Hardback / bound
  • Language
    English

related products

AI, de hype voorbij

AI, de hype voorbij

Jackie Janssen
€34.99
Een kleine geschiedenis van intelligentie

Een kleine geschiedenis van intelligentie

Max Bennett
€24.99
Aetheria

Aetheria

Ruud Licht
€22.50
Hallo, ik ben ChatGPT

Hallo, ik ben ChatGPT

Bob van Duuren
€24.99
Klara en de Zon

Klara en de Zon

Kazuo Ishiguro
€17.50
1000 ideale prompts voor werk, thuis en ontspanning

1000 ideale prompts voor werk, thuis en ontspanning

Bob van Duuren
€24.99