Computer Aided Verification | Agenda Bookshop Skip to content
Please note that books with a 10-20 working days delivery time may not arrive before Christmas.
Please note that books with a 10-20 working days delivery time may not arrive before Christmas.
A01=Isil Dillig
A01=Serdar Tasiran
Age Group_Uncategorized
Age Group_Uncategorized
Author_Isil Dillig
Author_Serdar Tasiran
automatic-update
Category1=Non-Fiction
Category=UY
Delivery_Delivery within 10-20 working days
Language_English
PA=In stock
Price_€50 to €100
PS=Active
softlaunch
10%
off
9781013271151.jpg

Computer Aided Verification

★★★★★
★★★★★

English

By (author): Isil Dillig Serdar Tasiran

€58.26
€64.73
Save 10%
A01=Isil DilligA01=Serdar TasiranAge Group_UncategorizedAuthor_Isil DilligAuthor_Serdar Tasiranautomatic-updateCategory1=Non-FictionCategory=UYDelivery_Delivery within 10-20 working daysLanguage_EnglishPA=In stockPrice_€50 to €100PS=Activesoftlaunch
Delivery/Collection within 10-20 working days
Product Details
  • Weight: 1565g
  • Dimensions: 216 x 279mm
  • Publication Date: 08 Oct 2020
  • Publisher: Saint Philip Street Press
  • Language: English
  • ISBN13: 9781013271151

Customer Reviews

Be the first to write a review
0%
(0)
0%
(0)
0%
(0)
0%
(0)
0%
(0)
We use cookies to ensure that we give you the best experience on our website. If you continue we'll assume that you are understand this. Learn more
Accept