Wyniki wyszukiwania:

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.

Java in Two Semesters caters both for those taking a first programming course in Java, as well as those going on to specialise in programming and software engineering. This revised and updated new edition features coverage of the significant changes introduced in Java 8 (and in Java 9), including lambda expressions, streams and JavaFX.

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...