Kategoria BISAC: Computers >> Programming - Compilers

This book constitutes the refereed proceedings of the 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015.

The 17 revised full papers and 4 invited talks presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on hybrid systems; tools; verification of robotics; symbolic execution; model checking; timed systems; SAT solving; multi domain verification; and synthesis.

This book constitutes the proceedings of the 13th International Symposium on Functional and Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016.
The 14 papers presented in this volume were carefully reviewed and selected from 36 submissions. They cover the following topics: functional and logic programming; program transformation and re-writing; and extracting programs from proofs of their correctness.

Exploring C++ uses a series of self-directed lessons to divide C++ into bite-sized chunks that you can digest as rapidly as you can swallow them. The book assumes only a basic understanding of fundamental programming concepts (variables, functions, expressions, statements) and requires no prior knowledge of C or any other particular language. It reduces the usually considerable complexity of C++.

The included lessons allow you to learn by doing, as a participant of an interactive education session. You'll master each step in one sitting before you proceed to the next. Author...

The best book on Maple just got better. This lively book is bursting with clear descriptions, revealing examples and top tips. It is gentle enough to act as an introduction and yet sufficiently comprehensive and well organised to serve as a reference manual. Maple Release 7 is significantly different to earlier releases, so this book will appeal even to hardened users who want to catch up fast.

- Des Higham, University of Strathclyde, UK

This book provides an accelerated introduction to Maple for scientific programmers who already have experience in other computer languages...

The JavaScript language is widely used for simple online applications. This useful book presents HTML and JavaScript in a way that uniquely meets the needs of students in the sciences and engineering. It explains how to create simple, client-side applications for scientific and engineering calculations. It includes many complete HTML/JavaScript examples with science/engineering applications to guide the reader progressively and comprehensively through the subject.

This book is specifically targeted at a technical audience-- but not one that is necessarily familiar with a...