Books > Self Service > Special Features Stores > 34875086-8a6a-4dfe-b095-4d85fb30b3ba_0 > 34875086-8a6a-4dfe-b095-4d85fb30b3ba_1301 > New, Used & Rental Textbooks > Computer Science > Programming Languages
Qed at Large: A Survey of Engineering of Formally Verified Software (Foundations and Trends(r) in Programming Languages)
Product ID: 239252324
Condition: New
Sold Out
Product Description
Qed at Large: A Survey of Engineering of Formally Verified Software (Foundations and Trends(r) in Programming Languages)
Technical Specifications
Country
USA
Brand
Now Publishers
Manufacturer
Now Publishers
Binding
Paperback
PartNumber
Refer to Sapnet.
Height
9.21
Length
6.14
Weight
0.67461452172
Width
0.42
NumberOfItems
1
You might also like
Covindoku-6: Travelling from Mid-South to all 4 Direction (Silent Explosion: Practical Guide Book)
Commander’s Mazes: The Maze of Numbers (Commander’s Legacy)
Pit Jump Maze: Volume 1
MazesMazes100 05: Fun & Charanging Mazes for All Ages!
1980s HANGMAN PUZZEL BOOK(Large Size): 100 hangman puzzles from the 80s (Nostalgic Hangman)
MazesMazes100 01: Fun & Charanging Mazes for All Ages!
MazesMazes100 02: Fun & Charanging Mazes for All Ages!
MazesMazes100 07: Fun & Charanging Mazes for All Ages!