Lecture Notes in Computer Science 3395 Formal Approaches to Software Testing 4th International Works
FATES 20042005 年出版225 页ISBN：354025109X
AN INTRODUCTION TO FORMAL PROGRAM VERIFICATION
ALI MILI1985 年出版291 页ISBN：0442263228
MATT NEUBURG2011 年出版809 页ISBN：7564129417
本书与《iOS4编程》一起，你将深入挖掘Cocoa并学习如何有效地使用Objective-C和Xcode来工作。本书用严格、传统的方式涵盖了iOS4——无论你是初次接触iOS的新手，还是需要一本参考书来提升已有的技能，这都是一种...
OBJECT-ORIENTED PROGRAMMING WITH SIMULA
BJORN KIRKERUD2222 年出版515 页ISBN：0201175746
CISCO NETWORKING ACADEMY PROGRAM:LAB COMPANION
VOLUME 12000 年出版278 页ISBN：158713022X
Towards A Common Software / Hardware Methodology For Future Advanced Driver Assistance Systems The D
Guillermo Paya Vaya2017 年出版274 页ISBN：8793519145
JAVA PROGRAMMING LANGUAGE FOURTH EDITION
KEN AMOLD JAMES GOSLING DAVID HOLMES著2006 年出版891 页ISBN：7115147620
本书为Java语言程序设计英文版教材。
ACCOUNTING INFORMATION MANAGER GENERAL LEDGER PROGRAM
JOHN W.WANLASS1992 年出版191 页ISBN：
