Filter
Programvaruteknik
Filter
Assembly language continues to hold a core position in the programming world because of its similar structure to machine language and its very close links to underlying …
This textbook introduces formal languages and automata theory for upper-level undergraduate or beginning graduate students. While it contains the traditional mathematical …
This textbook is about systematic problem solving and systematic reasoning using type-driven design. There are two problem solving techniques that are emphasized throughout the …
This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in practice. It focuses on …
This comprehensive Guide to Web Development with Java introduces the readers to the three-tiered, Model-View-Controller architecture by using Spring JPA, JSPs, and Spring MVC …
This textbook presents a systematic methodology for program development by using design recipes, i.e. a series of steps, each with a specific outcome, that takes a problem solver …
This is an introductory book on the modal and temporal properties of processes. In a clear and well-organized treatment the book provides an introduction to:-process calculi for …
This highly accessible textbook teaches programming from first principles. In common with many programming courses, it uses Python as the introductory programming language before …
An introductory course in Software Engineering remains one of the hardest subjects to teach. Much of the difficulty stems from the fact that Software Engineering is a very wide …
This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice …