Formal Methods

Industrial Use from Model to the Code

Jean-Louis Boulanger

電子書籍を購入

23,377 円

こちらは日本のストアになります

日本ではありませんか？あなたのお住まいの国のストアを選択し、購入可能な商品をお探しください

ストアを選ぶ

購入する本を贈る

楽天Koboで読む理由

楽天Koboなら読書がもっと楽しくなります。

楽天Kobo電子書籍リーダーでワンランク上の読書体験を

欲しい本が見つかる豊富な品揃え

無料の楽天Koboアプリ

あらすじ

ジャンル

この書籍について

言語　English
商品番号：9781118614372
発売日　2013年6月1日
出版社：Wiley

出版社： Wiley-ISTE
ファイル形式　EPUB2
サイズ　7.21 MB
ダウンロードオプション:EPUB2 (Adobe DRM)

関連書籍

SysML Distilled

Lenny Delligatti

5,506 円

Modeling in Event-B

Jean-Raymond Abrial

24,413 円

Algorithm-Architecture Matching for Signal and Image Processing

Guy Gogniat, Dragomir Milojevic, Adam Morawiec, Ahmet Erdogan

18,231 円

Formal Development of a Network-Centric RTOS

Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H.C. Sputh, Vitaliy Mezhuyev

13,369 円

Handbook of Big Data Technologies

Albert Y. Zomaya, Sherif Sakr

48,619 円

Verification and Validation in Systems Engineering

Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh

15,800 円

Cyber-Physical System Design from an Architecture Analysis Viewpoint

Jean-Pierre Talpin, Shin Nakajima, Huafeng Yu, Masumi Toyoshima

12,154 円

Risks and Security of Internet and Systems

Frédéric Cuppens, Nora Cuppens, Jean-Louis Lanet, Axel Legay

6,076 円

Formal Methods and Software Engineering

Michael Butler, Sylvain Conchon, Fatiha Zaïdi

6,076 円

Modeling and Verification of Real-time Systems

Nicolas Navet, Stephan Merz

35,715 円

Security and Resiliency Analytics for Smart Grids

Ehab Al-Shaer, Mohammad Ashiqur Rahman

12,154 円

Advances in Real-Time Systems

Samarjit Chakraborty, Jörg Eberspächer

12,154 円

Foundations and Practice of Security

Joaquin Garcia-Alfaro, Evangelos Kranakis, Guillaume Bonfante

6,076 円

Formal Techniques for Safety-Critical Systems

Cyrille Artho, Peter Csaba Ölveczky

6,076 円

Innovative Software Development in GIS

Benedicte Bucher, Florence Le Ber

23,377 円

Structured Development for Real-Time Systems

Paul T. Ward

4,497 円

Formal Aspects of Component Software

Olga Kouchnarenko, Ramtin Khosravi

6,076 円

Developing High Quality Data Models

Matthew West

7,185 円

Networked Systems

Ahmed Bouajjani, Hugues Fauconnier

6,076 円

Foundations and Practice of Security

Mourad Debbabi, Jean-Yves Marion, Joaquin Garcia-Alfaro, Jean Luc Danger, Nur Zincir Heywood

6,076 円

Reconfigurable Mobile Radio Systems

Guillaume Vivier

26,462 円

Hardware and Software: Verification and Testing

Nir Piterman

5,834 円

The New Codebreakers

Peter Y. A. Ryan, Jean-Jacques Quisquater, David Naccache

6,685 円

Foundations and Practice of Security

Nadia Tawbi, Nora Cuppens-Boulahia, Lingyu Wang, Frédéric Cuppens, Joaquin Garcia-Alfaro

6,076 円

Engineering Trustworthy Software Systems

Zhiming Liu, Zili Zhang

6,076 円

Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems

Anne Remke, Boudewijn R. Haverkort

6,076 円

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXI

Abdelkader Hameurlain, Josef Küng, Roland Wagner, Tran Khanh Dang, Nam Thoai

6,076 円

Foundations and Practice of Security

Frédéric Cuppens, Philip W. L. Fong, Joaquin Garcia-Alfaro, Nur Zincir Heywood

6,076 円

Formal Aspects of Component Software

Christiano Braga, Peter Csaba Ölveczky

6,076 円

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Thierry Lecomte, Ralf Pinger, Alexander Romanovsky

6,076 円

Reliable Software Technologies – Ada-Europe 2016

Eduardo Quiñones, Luís Miguel Pinho, Marko Bertogna

6,076 円

Advances in Databases and Information Systems

Morzy Tadeusz, Patrick Valduriez, Ladjel Bellatreche

6,076 円

Wireless Sensor Networks

Feng Zhao, Leonidas Guibas

7,900 円

Big Data Analytics and Knowledge Discovery

Sanjay Madria, Takahiro Hara

6,076 円

Theoretical Information Reuse and Integration

Thouraya Bouabana-Tebibel, Stuart H Rubin

12,154 円

Radio Frequency Identification: Security and Privacy Issues

Nitesh Saxena, Ahmad-Reza Sadeghi

5,834 円

Networked Systems

Amr El Abbadi, Benoît Garbinato

6,076 円

3D Printers to Print Lunar Base and Living Tissue

Janani Gopalakrishnan Vikram

80 円

Advanced AutoCAD® 2016 Exercise Workbook

Cheryl R. Shrock, Steve Heather

9,540 円

Structured Object-Oriented Formal Language and Method

Shaoying Liu, Zhenhua Duan

6,076 円

Inter-cooperative Collective Intelligence: Techniques and Applications

Nik Bessis, Fatos Xhafa

18,231 円

Project Management 2.0

Harold Kerzner

10,738 円

Workbook to Accompany Maintenance & Reliability Best Practices

Ramesh Gulati

8,177 円

Multimodal Transport Systems

Slim Hammadi, Mekki Ksouri

23,052 円

Integration of AI and OR Techniques in Constraint Programming

Claude-Guy Quimper

6,076 円

Handbook of Ocean Container Transport Logistics

Chung-Yee Lee, Qiang Meng

27,955 円

Cyber Physical Systems. Design, Modeling, and Evaluation

Christian Berger, Mohammad Reza Mousavi, Rafael Wisniewski

6,076 円

Project Engineering

Frederick Plummer

4,100 円

Database and Expert Systems Applications

Qiming Chen, Abdelkader Hameurlain, Farouk Toumani, Roland Wagner, Hendrik Decker

6,076 円

Algorithmic Aspects of Cloud Computing

Timos Sellis, Konstantinos Oikonomou

6,076 円

Product Lifecycle Management (Volume 2)

John Stark

24,309 円

Innovative Security Solutions for Information Technology and Communications

Ion Bica, David Naccache, Emil Simion

5,834 円

Projects Without Boundaries

Russ J. Martinelli, James M. Waddell, Tim J. Rahschulte

9,416 円

Scalable Multi-core Architectures

Dimitrios Soudris, Axel Jantsch

12,154 円

Department of the Army Pamphlet DA PAM 385-64 Ammunition and Explosives Safety Standards Rapid Action Revision (RAR): 10 October 2013

United States Government US Army

600 円

NASA Formal Methods

Sanjai Rayadurgam, Oksana Tkachuk

7,900 円

Extractive Metallurgy 3

Alain Vignes

24,838 円

Lean TPM

Dennis McCarthy, Nick Rich

11,748 円

Structured Development for Real-Time Systems, Vol. III

Paul T. Ward, Stephen J. Mellor

4,511 円

Strategies for Real-Time System Specification

Derek Hatley, Imtiaz Pirbhai

2,136 円

False Twist Textured Yarns

C Atkinson

23,791 円

Challenges for Technology Innovation: An Agenda for the Future

Fernando da Silva, Helena Maria Bártolo, Paulo Bártolo, Rita Almendra, Filipa Roseta, Henrique Amorim Almeida, Ana Cristina Lemos

51,998 円

Formal Techniques for Safety-Critical Systems

Cyrille Artho, Peter Csaba Ölveczky

6,076 円

Formal Techniques for Safety-Critical Systems

Cyrille Artho, Peter Csaba Ölveczky

6,076 円

Advanced Transport Protocols

Ernesto Exposito

23,377 円

Secure Integrated Circuits and Systems

Ingrid M.R. Verbauwhede

12,154 円

Overview of Industrial Process Automation

K.L.S. Sharma

9,511 円

Software Technologies

Jorge Cardoso, Pascal Lorenz, Leszek A. Maciaszek, Marten van Sinderen

6,076 円

Evolutionary Computing in Advanced Manufacturing

Manoj Tiwari, Jenny A. Harding

29,488 円

Advances in Spatial and Temporal Databases

Christophe Claramunt, Markus Schneider, Raymond Chi-Wing Wong, Li Xiong, Woong-Kee Loh, Cyrus Shahabi, Ki-Joune Li

6,076 円

Planning by Design (PxD)-Based Systematic Methodologies

Hakan Butuner

10,739 円

Provably Correct Systems

Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog

12,154 円

Enhancing Synergies in a Collaborative Environment

Alejandro Escudero-Santana, Pablo Cortés, Elvira Maeso-González

12,154 円

Industrial Engineering, Machine Design And Automation (Iemda 2014) - Proceedings Of The 2014 Congress & Computer Science And Application (Ccsa 2014) - Proceedings Of The 2nd Congress

Shihong Qin, Xiaolong Li

7,795 円

Principles and Practice of Constraint Programming

J. Christopher Beck

6,076 円

その他の著書

Certifiable Software Applications 1

Jean-Louis Boulanger

13,746 円

CENELEC 50128 and IEC 62279 Standards

Jean-Louis Boulanger

22,757 円

Safety of Computer Architectures

Jean-Louis Boulanger

23,052 円

Static Analysis of Software

Jean-Louis Boulanger

26,137 円

Safety Management for Software-based Equipment

Jean-Louis Boulanger

22,757 円

Formal Methods Applied to Complex Systems

Jean-Louis Boulanger

29,007 円

Industrial Use of Formal Methods

Jean-Louis Boulanger

23,077 円

Formal Methods Applied to Industrial Complex Systems

Jean-Louis Boulanger

27,565 円

Certifiable Software Applications 2

Jean-Louis Boulanger

13,746 円

お楽しみいただけましたか？

最初のレビュアーになりませんか？

日本のストアです。

Formal Methods

楽天Koboで読む理由

あらすじ

この書籍について

商品情報

閲覧方法

関連書籍

SysML Distilled

Modeling in Event-B

Algorithm-Architecture Matching for Signal and Image Processing

Formal Development of a Network-Centric RTOS

Handbook of Big Data Technologies

Verification and Validation in Systems Engineering

Cyber-Physical System Design from an Architecture Analysis Viewpoint

Risks and Security of Internet and Systems

Formal Methods and Software Engineering

Modeling and Verification of Real-time Systems

Security and Resiliency Analytics for Smart Grids

Advances in Real-Time Systems

Foundations and Practice of Security

Formal Techniques for Safety-Critical Systems

Innovative Software Development in GIS

Structured Development for Real-Time Systems

Formal Aspects of Component Software

Developing High Quality Data Models

Networked Systems

Foundations and Practice of Security

Reconfigurable Mobile Radio Systems

Hardware and Software: Verification and Testing

The New Codebreakers

Foundations and Practice of Security

Engineering Trustworthy Software Systems

Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXI

Foundations and Practice of Security

Formal Aspects of Component Software

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Reliable Software Technologies – Ada-Europe 2016

Advances in Databases and Information Systems

Wireless Sensor Networks

Big Data Analytics and Knowledge Discovery

Theoretical Information Reuse and Integration

Radio Frequency Identification: Security and Privacy Issues

Networked Systems

3D Printers to Print Lunar Base and Living Tissue

Advanced AutoCAD® 2016 Exercise Workbook

Structured Object-Oriented Formal Language and Method

Inter-cooperative Collective Intelligence: Techniques and Applications

Project Management 2.0

Workbook to Accompany Maintenance & Reliability Best Practices

Multimodal Transport Systems

Integration of AI and OR Techniques in Constraint Programming

Handbook of Ocean Container Transport Logistics

Cyber Physical Systems. Design, Modeling, and Evaluation

Project Engineering

Database and Expert Systems Applications

Algorithmic Aspects of Cloud Computing

Product Lifecycle Management (Volume 2)

Innovative Security Solutions for Information Technology and Communications

Projects Without Boundaries

Scalable Multi-core Architectures

Department of the Army Pamphlet DA PAM 385-64 Ammunition and Explosives Safety Standards Rapid Action Revision (RAR): 10 October 2013

NASA Formal Methods

Extractive Metallurgy 3

Lean TPM

Structured Development for Real-Time Systems, Vol. III

Strategies for Real-Time System Specification

False Twist Textured Yarns

Challenges for Technology Innovation: An Agenda for the Future

Formal Techniques for Safety-Critical Systems

Formal Techniques for Safety-Critical Systems

Advanced Transport Protocols

Secure Integrated Circuits and Systems

Overview of Industrial Process Automation

Software Technologies

Evolutionary Computing in Advanced Manufacturing

Advances in Spatial and Temporal Databases

Planning by Design (PxD)-Based Systematic Methodologies

Provably Correct Systems