Author: David Flanagan
Publisher: "O'Reilly Media, Inc."
ISBN: 0596805527
Size: 75.62 MB
Format: PDF, ePub
View: 1111
A revised and updated edition offers comprehensive coverage of ECMAScript 5 (the new JavaScript language standard) and also the new APIs introduced in HTML5, with chapters on functions and classes completely rewritten and updated to match current best practices and a new chapter on language extensions and subsets. Original.

Javascript The Definitive Guide

Author: David Flanagan
Publisher: O'Reilly Media; 6th edition (May 13, 2011)
Size: 50.57 MB
Format: PDF, Docs
View: 3036
Since 1996, JavaScript: The Definitive Guide has been the bible for JavaScript programmers—a programmer's guide and comprehensive reference to the core language and to the client-side JavaScript APIs defined by web browsers. The 6th edition covers HTML5 and ECMAScript 5. Many chapters have been completely rewritten to bring them in line with today's best web development practices. New chapters in this edition document jQuery and server side JavaScript. It's recommended for experienced programmers who want to learn the programming language of the Web, and for current JavaScript programmers who want to master it. "A must-have reference for expert JavaScript programmers...well-organized and detailed." —Brendan Eich, creator of JavaScript, CTO of Mozilla "I made a career of what I learned from JavaScript: The Definitive Guide.” —Andrew Hedges, Tapulous

Modeled Tested Trusted

Author: Joost-Pieter Katoen
Publisher: Springer
ISBN: 3319682709
Size: 29.73 MB
Format: PDF, Kindle
View: 5794
This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday. The contributions in this Festschrift are written by a number of Ed's former Ph.D. students and collaborators. The papers are a reflection on his research contributions and interests and all fall into the area of formal methods, or in Ed's terminology applied mathematics in computer science. The papers address modeling languages and semantics, model-based testing, verification and performance analysis, probabilistic computation, system dynamics, and applications of formal methods.