This is our Philippines store.

Looks like you're in United States. You need a Philippines address to shop on our Philippines store. Go to our United States store to continue.

Go to United States StoreChoose another store
Skip to main content
Wishlist
Cart
Create account
Have an account?Sign in
Advanced Boolean Techniques - Selected Papers from the 13th International Workshop on Boolean Problems eBook by

Advanced Boolean Techniques

Selected Papers from the 13th International Workshop on Boolean Problems

Rolf Drechsler,Mathias Soeken
Engineering (R0)

Synopsis

Categories

About this book

  • Language:English
  • ISBN:9783030203238
  • Release date:Jul 10, 2019
  • Publisher:Springer International Publishing
  • Imprint:Springer
  • File format:EPUB3
  • File size:12.55 MB
  • Download options:EPUB3 (Adobe DRM)

In this series

Skip this list

Recent Findings in Boolean Techniques

Rolf Drechsler,Daniel Große

Advanced Boolean Techniques

Rolf Drechsler,Sebastian Huhn

Languages, Design Methods, and Tools for Electronic System Design

Rolf Drechsler,Robert Wille

Formal System Verification

Rolf Drechsler