Cart 0
Logic And Software Engineering - Proceedings Of The International Workshop In Honor Of Chih-sung Tang

Logic And Software Engineering - Proceedings Of The International Workshop In Honor Of Chih-sung Tang

Amir Pnueli

Format: Print Book

ISBN: 9789810228040

Tax included.
This workshop brought together top researchers in logic and software engineering in the unique occasion of celebrating the 70th birthday of Professor C S Tang who has devoted much of his long research career to establishing a solid logic foundation for software engineering.

Format: Hardcover
No of Pages: 320
Imprint: World Scientific
Publication date: 19961001





We Also Recommend

Blockchain And Smart Contracts: Design Thinking And Programming For Fintech

Blockchain And Smart Contracts: Design Thinking And Programming For Fintech

Save SGD 12.26
Patent Portfolio Deployment: Bridging The R&d, Patent And Product Markets

Patent Portfolio Deployment: Bridging The R&d, Patent And Product Markets

Save SGD 45.78
"Gina Says": Adventures In The Blogosphere String War

"Gina Says": Adventures In The Blogosphere String War
"Golden" Non-euclidean Geometry, The: Hilbert's Fourth Problem, "Golden" Dynamical Systems, And The Fine-structure Constant

"Golden" Non-euclidean Geometry, The: Hilbert's Fourth Problem, "Golden" Dynamical Systems, And The Fine-structure Constant
"I Am The Smartest Man I Know": A Nobel Laureate's Difficult Journey

"I Am The Smartest Man I Know": A Nobel Laureate's Difficult Journey