Login       My Wishlist
  My Cart
$0.00 / 0 items
EMS Linux
Utilizing the Best Tools With Linux
International Access
Global Shipping Options Available
Home About Us News Our Blog Our Catalog My Cart My Account Track Shippment Contact Us
  Our Catalog   Functional

Engineering Dependable Software Systems (NATO Science for Peace and Security)

Mega Sale! Save 29% on the Engineering Dependable Software Systems (NATO Science for Peace and Security) by IOS Press at EMS Linux. Hurry! Limited time offer. Offer valid only while supplies last. Because almost all technical systems are more or less interfaced with software these days, attacks against computer systems can cause considerable

Product Description

Because almost all technical systems are more or less interfaced with software these days, attacks against computer systems can cause considerable economic and physical damage. For this reason, understanding the dependability of such systems, as well as the improvement of cyber security and its development process, are amongst the most challenging and crucial issues in current computer science research. This book contains the lectures from the NATO Advanced Study Institute (ASI) Summer School entitled Engineering Dependable Software Systems, held in Marktoberdorf, Germany, in July and August 2012. This two week course for young computer scientists and mathematicians working in the field of formal software and systems was designed to give an in-depth presentation of state-of-the-art topics in the field, as well as promoting international contacts and collaboration and the teaming up of leading researchers and young scientists.   The 12 lectures delivered at the school and presented here cover subjects including: model-based testing, formal modeling and verification, deductively verified software, model checking, performance analysis, integrating risk analysis, embedded systems and model checking, among others. The book will be of interest to all those whose work involves the development of large-scale, reliable and secure software systems.

IOS Press is an international science, technical and medical publisher of high-quality books for academics, scientists, and professionals in all fields.

Some of the areas we publish in:

-Artificial intelligence
-Databases and information systems
-Maritime engineering
-All aspects of physics
-The knowledge economy
-Urban studies
-Arms control
-Understanding and responding to terrorism
-Medical informatics
-Computer Sciences

Additional Information

Manufacturer:IOS Press
Publisher:IOS Press
Studio:IOS Press
Item Weight:1.8 pounds
Item Size:1 x 9.5 x 9.5 inches
Package Weight:1.76 pounds
Package Size:6.54 x 1.1 x 1.1 inches

Engineering Dependable Software Systems (NATO Science for Peace and Security) by IOS Press

Buy Now:
Engineering Dependable Software Systems (NATO Science for Peace and Security)

Brand: IOS Press
4.2 out of 5 stars with 43 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
You Save: 29%



View More In Functional.


Have questions about this item, or would like to inquire about a custom or bulk order?

If you have any questions about this product by IOS Press, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers

sku: ~``21mbTj`4069@4Tzi_1999_unk2, mpn: biography, ean: 9781852330927, isbn: 1852330929,
Programming is hard. Building a large program is like constructing a steam locomotive through a hole the size of a postage stamp. An artefact that is the fruit of hundreds of person-years is only ever seen by anyone through a lOO-line window. In some...

ean: 9783319574295, isbn: 3319574299,
This book provides a comprehensive overview of digital signal processing for a multi-disciplinary audience. It posits that though the theory involved in digital signal processing stems from electrical, electronics, communication, and control engineer...

ean: 9783540159759, isbn: 3540159754,

mpn: 3 black & white illustrations, biography, ean: 9783540196679, isbn: 3540196676,
This volume contains the papers presented at the 3rd Glasgow Workshop on Functional Programming which was held in Ullapool, Scotland, 13-15 August 1990. Members of the functional programming groups at the universities of Glasgow and Stirling attended...

mpn: biography, ean: 9783540197607, isbn: 3540197605,
The Glasgow functional programming group has held a workshop each summer since 1988. The entire group, accompanied by a selection of colleagues from other institutions, retreats to a pleasant Scottish location for a few days. Everyone speaks briefly,...

mpn: 12 black & white illustrations, ean: 9783540198208, isbn: 3540198202,
The Glasgow Functional Programming Group is widely recognised for its research in lazy functional languages. Once again this year, for the fifth time, we retreated to a Scottish seaside town to discuss our latest work, this time spending three days i...

mpn: 8 black & white illustrations, ean: 9783540198796, isbn: 3540198792,
The Functional Programming Group at the University of Glasgow was started in 1986 by John Hughes and Mary Sheeran. Since then it has grown in size and strength, becoming one of the largest computing science research groups at Glasgow and earning an i...

sku: R13502, mpn: biography, ean: 9783540199144, isbn: 3540199144,
This is the proceedings of the seventh annual workshop held by the Glasgow Functional Programming Group. The purpose of the workshop is to provide a focus for new research, to foster research contacts with other functional language researchers, and t...

mpn: 21 black & white tables, biography, ean: 9783540332831, isbn: 3540332839,
Approximation methods are vital in many challenging applications of computational science and engineering. This is a collection of papers from world experts in a broad variety of relevant applications, including pattern recognition, machine learning,...

mpn: biography, ean: 9783540417392, isbn: 3540417397,
Proceedings of the Fifth International Symposium, FLOPS 2001, on Functional and Logic Programming, held in Tokyo, Japan, in March 2001. Main topics of interest include functional programming, logic programming, functional logic programming, types, an...

Privacy Policy / Terms of Service
© 2018 - emslinux.com. All Rights Reserved.