【预订】Formal Software Development 9780333992814
国外库房发货，通常付款后3-5周到货！
/ 2003-09-09
Product Details 基本信息 ISBN-13 书号 9780333992814 Author 作者 Quentin Charatan Format 版本 平装-胶订 Pages Number 页数 256页 Publisher 出版社 Palgrave Macmillan Publication Date 出版日期 2003-09-09 Shipping Weight 商品重量 499g Language 语种 英语 Book Contents 内容简介 This is a gently-paced software engineering text that concentrates on the use of formal methods for the development of high integrity software. It assumes no previous knowledge of formal methods, and presents a practical and comprehensive treatment of the subject suitable for second and third year undergraduates on computing courses, and students on taught master’s courses. The book is packed with examples and exercises throughout, and is supported by a dedicated web site.
¥677.00
【预订】Programming in Two Semesters 9783031013256
国外库房发货，通常付款后3-5周到货！
/ 2022-07-27
Product Details 基本信息 ISBN-13 书号 9783031013256 Author 作者 Charatan Format 版本 精装 Pages Number 页数 640页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-07-27 Language 语种 其它（含多语） Book Contents 内容简介 This highly accessible textbook teaches programming from first principles. In common with many programming courses, it uses Python as the introductory programming language before going on to use Java as the vehicle for more advanced programming concepts.The first part, which teaches Python, covers fundamental programming concepts, such as data types and control structures and functions. It introduces more complex data types such as lists and dictionaries and also deals with file handling. It introduces object-oriented concepts and ends with a case study bringing together all the topics of the first semester. The second part uses Java to teach advanced conce
¥520.00
【预订】Java in Two Semesters 9783319994192
美国库房发货，通常付款后3-5周到货！
/ 2019-01-29
/ 暂无出版社信息
Product Details 基本信息 ISBN-13 书号 9783319994192 Author 作者 Charatan Format 版本 精装 Pages Number 页数 717页 Publication Date 出版日期 2019-01-29 Language 语种 英语 Book Contents 内容简介 This easy-to-follow textbook teaches Java programming from first principles, as well as covering design and testing methodologies. The text is divided into two parts. Each part supports a one-semester module, the first part addressing fundamental programming concepts, and the second part building on this foundation, teaching the skills required to develop more advanced applications.This fully updated and greatly enhanced fourth edition covers the key developments introduced in Java 8, including material on JavaFX, lambda expressions and the Stream API.Topics and features: begins by introducing fundamental programming concepts such as declaration of variables, control structures, methods and arrays; goes on to cover the funda
¥677.00
【预订】Programming in Two Semesters 9783031013287
国外库房发货，通常付款后3-5周到货！
/ 2023-10-02
Product Details 基本信息 ISBN-13 书号 9783031013287 Author 作者 Quentin Charatan Format 版本 平装-胶订 Pages Number 页数 661页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-10-02 Product Dimensions 商品尺寸 9.21 x 6.14 x 1.36 Shipping Weight 商品重量 1027 Language 语种 其它（含多语） Book Contents 内容简介 This highly accessible textbook teaches programming from first principles. In common with many programming courses, it uses Python as the introductory programming language before going on to use Java as the vehicle for more advanced programming concepts.The first part, which teaches Python, covers fundamental programming concepts, such as data types and control structures and functions. It introduces more complex data types such as lists and dictionaries and also deals with file handling. It introduces object-oriented concepts and ends with a case
¥520.00
