• 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

Paperback | English
  • Available, delivery time is 10-15 working days
  • Not in stock in our shop
€82.95
  • 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 36 mm
  • Weight
    1615 gram
  • EAN
    9781013270987
  • Paperback
    Paperback
  • Language
    English

related products

1000 ideale prompts voor werk, thuis en ontspanning

1000 ideale prompts voor werk, thuis en ontspanning

Bob van Duuren
€24.99
Klara en de Zon

Klara en de Zon

Kazuo Ishiguro
€17.50
Geavanceerd ChatGPT

Geavanceerd ChatGPT

Bob van Duuren
€34.99
Kunstmatige intelligentie in 60 minuten

Kunstmatige intelligentie in 60 minuten

Remy Gieling
€12.50
Kunstzinnige intelligentie

Kunstzinnige intelligentie

Bob Timroff
€34.99
Manieren van zijn

Manieren van zijn

James Bridle
€29.99