Verification of Object-Oriented Software. The KeY Approach
features of the programming languages we employ in these programs are plentiful, including object-oriented organizations ...
Weiterlesen
Verification, Model Checking, and Abstract Interpretation
This volume contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January ...
Weiterlesen
Verification, Model Checking, and Abstract Interpretation (vol. # 3385)
The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. ...
Weiterlesen
Verified Software: Theories, Tools, Experiments : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings
The scope of book includes the sharing and interoperability of tools, the alignment of theory and practice, the identification ...
Weiterlesen
Visualizing Information Using SVG and X3D
The first great graphics technology for the Web,VRML,has been mistaken for something else since its inception. Viewed variously ...
Weiterlesen
Web Accessibility
The power of the Web lies in the fact that anyone and everyone can access it, and this should also extend to users with disabilities. ...
Weiterlesen
Web Development Solutions
this book shows you how. It starts from the very beginning of your journey, showing you what's available, what you need, ...
Weiterlesen
Web Development with Java
This comprehensive textbook introduces readers to the three-tiered, Model-View-Controller architecture by using Hibernate, ...
Weiterlesen
Web Programming and Internet Technologies: An E-Commerce Approach ; Second Edition / Porter Scobey, Pawan Lingras
Features a hands-on and active learning approach. Written for the one-term web programming course for first or second year ...
Weiterlesen
Web Programming with HTML5, CSS, and JavaScript ; First Edition / John Dean
Written for the undergraduate, client-side web programming course. It covers the three client-side technologies (HTML5, CSS, ...
Weiterlesen
Web Standards Creativity
Web Standards Creativity is jam-packed with fresh, innovative design ideas. The topics range from essential CSS typography ...
Weiterlesen
WebAssembly for Cloud : A Basic Guide for Wasm-Based Cloud Apps / Shashank Mohan Jain
Understand how Wasm can be used for server-side applications / Learn about Wasm memory model and Wasm module layout / Learn ...
Weiterlesen
XML for Bioinformatics
The goal of XML for Bioinformatics is to provide a solid introduction to the emerging use of XML in the field of bioinformatics. ...
Weiterlesen
ZK™
ZK is the most popular open source SourceForge Ajax web framework that enables rich user interface for web applications with ...
Weiterlesen
