www.bookin.org.ru Книги Интернет магазин +79015461416

    есть на складе           
Салаты сборник рецептов

 Interactive Theorem Proving in Software Engineering
Наименование:

Interactive Theorem Proving in Software Engineering

издательство Книга по Требованию Локальные и корпоративные сети
Cтраниц 120        мягкая обложка       
Аннотация:Interactive theorem proving is the modern way of formalizing mathematics using a computer as a proof assistant, helping solve simple tasks and keeping an order on the proofs. In fact, it is a gargantuan task to prove a program correct or prove that an implementation conforms to its UML-specification. Still, it is a tedious task, as such mechanical proofs contain detail that humans do not want to see. Using examples from algorithm development, Java bytecode verification and UML state machine analysis the author introduces current trends in interactive theorem proving technology using Coq, Isabelle, and model checking. When it comes to the verification of real world applications in software engineering, as required for the assurance of safety and security properties of embedded systems, the level of detail becomes even more annoying. The sheer mass of proof obligations alone - apart from the hidden subtlety of such challenges - obstructs quality assurance of software artifacts with interactive theorem provers. This book draws a line to show up how far current cutting edge research has succeeded in tackling this long standing quest.
Издательство: Книга по Требованию
Год:2008
Цена:
1996 руб
Нет в наличии
Поиск: Interactive Theorem Proving in Software Engineering
НОВЫЙ ГОД СИМВОЛ 2013 ГОДАУКРАШЕНИЯ
КАРНАВАЛ НА НОВЫЙ ГОД РАСПРОДАЖА
Ортомолекулярная медицина Orthomol Устрание причин заболеваний. Ортомоль это новый метод для лечения и профилактики болезней. Orthomol - ортомолекулярная медицина.
Способы выравнивания когнитивного диссонанса в переводе поэтических произведений (на материале...

Love is o love Which al ers whe i al era io fi ds, Or be ds wi h he remover o remove: O, o! i is a ever-fixed mark ha looks o empes s a d is ever shake ; I is he s ar o every wa deri g bark, Whose wor h's u k ow , al hough his heigh be ake . Love's o ime's fool, hough rosy lips a d cheeks Wi hi his be di g sickle's compass come; Love al ers o wi h his brief hours a d weeks, Bu bears i ou eve o he edge of doom. If his be error a d upo me proved, I ever wri , or o ma ever loved. Приложение №3Перевод Д. Кузьмина Сонет 116 Ничто не воспрепятствует извнеВлеченью душ. Любовь – не есть любовь,Коль может изменить, сойти на нетПод действием превратности любой.Любовь – как веха вечная дана, Которой нипочем девятый вал; Звезда морей, чья высота ясна, Но чье значенье ведомо едва ль.Не подобает ей удел шута У Времени; что ей – краса лица! Любовь не изменяет никогда И все превозмогает до конца!Когда не так, и чувства лгут мои, - Я не писал. А мир – не знал любви.Приложение №4 Перевод Д.ЩедровичкогоСонет 116 Нет, я не стану камнем преткновеньяДля брачного союза двух умов: Любовь, что нам изменит на мгновенье, - Уже не настоящая любовь.
Кружка-хамелеон "Сова", 330 мл.
Для тех, кто любит подольше поспать, кому утро не в радость, поможет взбодриться кружка-хамелеон «Сова». Просыпайтесь вместе с
304 руб
Раздел: Кружки, чашки, блюдца
Чудо трусики для плавания, от 0 до 3-х лет, трехслойные, арт. 111, для мальчиков.
Детские специальные трусики для плавания в бассейне и открытом водоеме. Плотно прилегают, отлично защищают! Изготовлены из хлопка, имеют
376 руб
Раздел: Многоразовые
Простыня на резинке "ЭГО", 160х200 см, салатовая.
Трикотажная простыня "ЭГО" на резинке выполнена из 100% хлопка высокого качества. Натуральный, экологически чистый материал
760 руб
Раздел: Простыни, пододеяльники
Introduction,Software Processes,People, Tools, The Software Product, The Project, Software Metrics. Software Engineering Ontology Separation of Concerns.Introduction,Software Processes,People, Tools, The Software Product, The Project, Software Metrics. Software Engineering Ontology Separation of
It should reduce complexity and improve clarity. Izzat A. Книга по Требованию  
1996 руб
Supporting Informal Collaboration, Rationale, and Traceability in Global Distributed Software Development Rationale-based Unified Software Engineering Model.Supporting Informal Collaboration, Rationale, and Traceability in Global Distributed Software Development Rationale-based Unified Software Engineering
Selected projects are used to evaluate the proposed concepts. Книга по Требованию  
2415 руб
Computer-aided Software EngineeringComputer-aided Software Engineering
Frederic P. M. Книга по Требованию  
1190 руб
Marine Software EngineeringMarine Software Engineering
Many onboard systems have significant amount of software inside and their quality directly depends on the quality of the software. Lambert M. S. Книга по Требованию  
1893 руб
Component Based Software Engineering. Dependability and Software Process IssuesComponent Based Software Engineering. Dependability and Software Process Issues
Component Based Software Engineering (CBSE), which deals with the software construction by components' assembly, is an extension of Software Engineering. This work purposefully considers software processes and maturity models for CBSE. It may Ratneshwer G. Книга по Требованию  
2625 руб
Object-Oriented Software EngineeringObject-Oriented Software Engineering
After success in the marketplace, other tool vendors also supported OOSE. Lambert M. S. Книга по Требованию  
1314 руб
Supporting Synchronous Communication in Distributed Software Teams. An empirical study to assess the use of synchronous text-based communication in distributed Requirements EngineeringSupporting Synchronous Communication in Distributed Software Teams. An empirical study to assess the use of synchronous text-based communication in distributed
Furthermore, the general preference for F2F over CMC is due to the strong preference for the F2F negotiation fit over the CMC counterpart. Fabio C. Книга по Требованию  
3214 руб
An Architecture Framework for Process-Personalized Composite Services. Service-oriented Architecture, Web Services, Business-Process Engineering, and Human Interaction ManagementAn Architecture Framework for Process-Personalized Composite Services. Service-oriented Architecture, Web Services, Business-Process Engineering, and Human
An architecture framework is presented that can systematically address the lack of CPP in current composite services approach. Rajani S.S. Книга по Требованию  
3233 руб
MATLAB SOFTWARE FOR CHEMICAL AND PETROLEUM ENGINEERING MATLAB SOFTWARE FOR CHEMICAL AND PETROLEUM ENGINEERING (PART THREE). MATLAB SOFTWARE FOR CHEMICAL AND PETROLEUM
Chapter 2 provides 18 examples in fluid flow includes different problems and how to solve these problems by programming. Ahmmed S.I. Книга по Требованию  
3050 руб
CD-ROM. New Opportunities. Intermediate Interactive Whiteboard SoftwareCD-ROM. New Opportunities. Intermediate Interactive Whiteboard Software
 
20128 руб
Книжный магазин bookin.org.ruAccess 2. Interactive Whiteboard Software. Elementary. Комплект программ для интерактивной доски
 
2216 руб
Fairyland 1. Interactive Whiteboard Software. Beginner. Компьютерные программы для интерактивной доскиFairyland 1. Interactive Whiteboard Software. Beginner. Компьютерные программы для интерактивной доски
 
2503 руб
Книжный магазин bookin.org.ruCD-ROM. Happy Hearts 2. Interactive Whiteboard Software. Компьютерные программы для интерактивной доски
 
2503 руб
CD-ROM. Take-Off: Technical English for Engineering. Interactive Course BookCD-ROM. Take-Off: Technical English for Engineering. Interactive Course Book
The Take-Off Interactive Course Book is a digital replica of the Course Book, with the following additional features: - Embedded audio for display using data show projector - Easy-to-use tools - highlighter and draw tools, moveable sticky motes,  
5560 руб
Russian-English dictionary of Scientific and Engineering terms A Guide to Usage - 1222 с. ISBN 1-56700-128-9 ~91.06.25 130Russian-English dictionary of Scientific and Engineering terms A Guide to Usage - 1222 с. ISBN 1-56700-128-9 ~91.06.25
Malyavskaya G., Shveyeva N. New York: Wallingford /Begell house  
1399 руб
Книжный магазин bookin.org.ruSoftware '2-Electronic Univers' [2 CD] { } ~93.12.25 150
ПравитЗвука  
208 руб
Книжный магазин bookin.org.ruSoftware 'Live-In Concert' [2 CD] { } ~93.12.25 155
ПравитЗвука  
208 руб
Книжный магазин bookin.org.ruПодарочный комплект Disney Interactive 1 [CDR] { } ~94.02.16 091
НД  
328 руб
Книжный магазин bookin.org.ruGrammar Games Software Pack (+ дискета)
Walley Cambridge University Press  
4 руб
Книжный магазин bookin.org.ruLongman English Interactive 2 UK Communication Companion
Pearson  
410 руб
Книжный магазин bookin.org.ruSide by Side 3Ed 1 Interactive Activity Workbook A
Pearson  
430 руб
Oxford English for Electrical and Mechanical Engineering. Student BookOxford English for Electrical and Mechanical Engineering. Student Book
Eric G. Oxford University Press  
1716 руб
Cambridge English for Engineering Student's Book Cambridge English for Engineering Student's Book (with 2 Audio CDs) (+ Audio CD)
Cambridge English for Engineering develops the communication skills and specialist English language knowledge of engineering professionals, enabling them to communicate more confidently and effectively with colleagues and Mark I. Cambridge University Press Cambridge English for ... 
1773 руб
More! Level 1 Student's Book with Interactive CD-ROM with Cyber Homework More! Level 1 Student's Book with Interactive CD-ROM with Cyber Homework (+ CD-ROM)
A Cyber Homework access code on the CD-ROM gives students access to two sets of online interactive exercises per unit. Herbert P. Cambridge University Press More! 
971 руб
Take-off English for Engineering: WorkbookTake-off English for Engineering: Workbook
Take-Off: Technical English for Engineering Workbook Take-Off has been designed for non-native speakers of English who are studying Engineering NVQ Level 2 and above. David M. Garnet  
1069 руб
OligoOligo(ethylene glycol) Based Nonfouling Surfaces. Engineering Flat Surfaces and Microstructures for Biosensors, Tissue Engineering and Biomedical
This book presents the initial development of oligo (ethylene glycol) (OEG) based “nonfouling” -protein and cell resistant- coatings that can be applied to a wide range of biomedical applications. Hongwei M. Книга по Требованию  
3190 руб
Transforming Floating-Point Algorithms to Fixed-Point Implementations. Design Automation for Low-Power Embedded Hardware and Software Implementation of Digital Signal Processing AlgorithmsTransforming Floating-Point Algorithms to Fixed-Point Implementations. Design Automation for Low-Power Embedded Hardware and Software Implementation of Digital
The automation step provides a design tradeoff curve of signal quality vs. implementation complexity for the system, which allows the designer to pick any operating point on the tradeoff curve. Kyungtae H. Книга по Требованию  
1980 руб
A Study of Multi-Objective Optimization Methods. for Engineering ApplicationsA Study of Multi-Objective Optimization Methods. for Engineering Applications
The process of optimizing a collection of objective functions is called multi-objective optimization, and it necessitates the use special optimization methods. Tim M. Книга по Требованию  
3190 руб
Eine rekonfigurierbare Implementierung des TTCAN-Busprotokolls auf Standard Mikrocontrollern TTCAN - Grundlagen fuer eine µC Software.Eine rekonfigurierbare Implementierung des TTCAN-Busprotokolls auf Standard Mikrocontrollern TTCAN - Grundlagen fuer eine µC
Es wird gezeigt, welche Vorteile und Nachteile TTCAN im Vergleich zu ereignisgesteuerten Systemen besitzt. Книга по Требованию  
1980 руб
AOPim: An Aspect-Oriented Implementation Method. Supporting Aspect-Oriented Software DevelopmentAOPim: An Aspect-Oriented Implementation Method. Supporting Aspect-Oriented Software Development
This allows customers and developers to test the software before additional effort to implement non-functional requirements. Sergio S. Книга по Требованию  
2746 руб
Global Learning Environment. Innovative concept and interactive model for changing academia and academicsGlobal Learning Environment. Innovative concept and interactive model for changing academia and academics
Have the efforts to link students with the international academic centers been fruitful? Tamara S. Книга по Требованию  
2768 руб
EMIT: EXPLICIT MODELING OF INTERACTIVE-ENGAGEMENT TECHNIQUES. for Physics Graduate Teaching Assistants and the Impact on Instruction and Student Performance in Calculus-Based PhysicsEMIT: EXPLICIT MODELING OF INTERACTIVE-ENGAGEMENT TECHNIQUES. for Physics Graduate Teaching Assistants and the Impact on Instruction and Student Performance in
The negotiation process helps them become explicitly aware of their own learning (meta-cognition) and actively involves them in building concepts from prior knowledge, folding in what is newly understood. Cathy M.E. Книга по Требованию  
2768 руб
Beyond Fun and Games. Interactive Theatre and Serious Videogames with Social ImpactBeyond Fun and Games. Interactive Theatre and Serious Videogames with Social Impact
This book charts the course of my attempts to bring meaning for myself and for others about our world’s energy resources. Lori S. Книга по Требованию  
3214 руб
Quantifying Software Reliability at Early Development Stages. A Formal and Scalable ApproachQuantifying Software Reliability at Early Development Stages. A Formal and Scalable Approach
Software project practitioners, regulators, and policy makers involved in the certification of software systems can benefit most. Wende K. Книга по Требованию  
3214 руб
Long Term Performance and Durability of Recycled Aggregate Concrete. Accelerated Aging and Testing Protocols for Long Term Performance Evaluation of Recycled Materials in Civil Engineering ConstructionLong Term Performance and Durability of Recycled Aggregate Concrete. Accelerated Aging and Testing Protocols for Long Term Performance Evaluation of Recycled
Stiffness-time master curves were then constructed using Time- Temperature Superposition (TTS) and Stepped Isothermal Method (SIM) based on the Arrhenius Equation. Jamie F. Книга по Требованию  
1996 руб
Improving Hospital Supply Chains. An Engineering ApproachImproving Hospital Supply Chains. An Engineering Approach
Due to the diverse nature of hospitals and a unique product profile, there is no “one size fits all” supply chain solution that can be implemented. Graham W. Книга по Требованию  
2402 руб
How can magical thinking inform interactive and innovative design for the home? Smoke and Mirrors.How can magical thinking inform interactive and innovative design for the home? Smoke and Mirrors.
What kind of interior could encourage magical thinking and how could it sooth mental distress? Morigeaud S. Книга по Требованию  
1996 руб
Patente Patente (und Copyrights) auf Software?. Vergleichende Untersuchung der Einfuehrung dieser Schutzrechte in den USA
Waren dagegen die Entscheidungsgrundlagen falsch, waere es eher als "Alltagsproblem" politischer Institutionen anzusehen. Книга по Требованию  
1996 руб
Organic CMOS technology by dielectric interface engineering. Chemically functionalized dielectrics for the control of OFET polarity / charge carrier transport propertiesOrganic CMOS technology by dielectric interface engineering. Chemically functionalized dielectrics for the control of OFET polarity / charge carrier transport
Furthermore, complementary OFETs with an identical device cross section as well as organic CMOS inverters are implemented. Niels B. Книга по Требованию  
2361 руб
Molekulare Evolution der Pyranose-2- Oxidase aus Peniophora gigantea. Engineering einer Oxidase zur effizienten Anwendung in der BiokatalyseMolekulare Evolution der Pyranose-2- Oxidase aus Peniophora gigantea. Engineering einer Oxidase zur effizienten Anwendung in der
Ihre chemische Herstellung ist kompliziert und mit geringen Ausbeuten verbunden und soll deshalb durch schnellere und umweltfreundlichere Biokatalysen ersetzt werden. Susanne D. Книга по Требованию  
3620 руб


на главную


+7 (495) 105-96-52

Киниги почтой www.bookin.org.ru Книжный интернет магазин bookin.org.ru доставка книг почтой