




Handbook of Electrical Design Details (Handbook)A COMPREHENSIVE SOURCE OF TECHNICAL DETAILS ON ELECTRICAL POWER FROM GENERATION TO PRACTICAL APPLICATIONS
Reliable, lowcost electric power is a fundamental requirement for modern society, making possible such vital services as lighting, HVAC, transportation, communication, and data processing, in addition to driving motors of...   Principles of Model CheckingOur growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a...   Programming Language Pragmatics, Second Edition"Michael Scott's book could have been entitled: Why Programming Languages Work. It takes a fresh look at programming languages by bringing together ideas and techniques usually covered in disparate language design, compiler, computer architecture, and operating system courses. Its comprehensive and integrated presentation of language... 

  Graduate Mathematical Physics, With MATHEMATICA Supplements
This uptodate textbook on mathematical methods of physics is designed for a onesemester graduate or twosemester advanced undergraduate course. The formal methods are supplemented by applications that use MATHEMATICA to perform both symbolic and numerical calculations.
The book is written by a physicist lecturer who knows the...   RealTime Systems: Formal Specification and Automatic VerificationRealtime systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a crash. There are many embedded safetycritical applications and each requires realtime specification techniques. This text introduces three of these techniques, based on logic and automata:... 



Result Page: 56 55 54 53 52 51 50 49 48 47 