检索条件： Manna ( 著者 )
责任者 Zohar Manna,Richard Waldinger
出版信息 Addison-Wesley Pub. Co. ,1993
ISBN 0-201-54886-0
扫二维码，手机查看
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。
The Deductive foundations of computer programming
Zohar Manna,Richard Waldinger.Addison-Wesley Pub. Co.,1993.
责任者 Z. Manna,R. Waldinger
出版信息 North-Holland ,1977
ISBN
Studies in automatic programming logic
Z. Manna,R. Waldinger.North-Holland,1977.
责任者 曼纳,伯努利
出版信息 清华大学出版社 ,2023
ISBN 978-7-302-64497-2
反应式和并发系统的时序逻辑
曼纳,伯努利.清华大学出版社,2023.
责任者 by Zohar Manna, Richard Waldinger
出版信息 Addison-Wesley Pub. Co. ,1985
The logical basis for computer programming．v. 1，Deductive reasonning
by Zohar Manna, Richard Waldinger.Addison-Wesley Pub. Co.,1985.
The logical basis for computer programming．v. 2
通借图书
加入成功
您可到个人图书馆查看或取消预约
预约图书
您可在“我的图书馆→我的预约”菜单里查看预约记录
没有可借图书，您可对该书进行预约，等书还回后会按照预约顺序分配给您
