Formal Methods

Industrial Use from Model to the Code

Jean-Louis Boulanger

Acheter l'eBook

$175.99CAD

Vous êtes dans la boutique Canada

Pas en Canada? Choisissez la boutique de votre pays pour voir les livres disponibles à l'achat.

Choisir sa boutique

Acheter Offrir un livre

En savoir plus sur l'alignement des prix

Pourquoi lire avec nous ?

Kobo permet aux amateurs de livres de lire davantage.

Expérience de lecture améliorée avec nos liseuses Kobo

Un catalogue de livres riche et pertinent

Application de lecture gratuite Kobo

Résumé

Catégories

À propos de ce livre

Langue :English
ISBN :9781118614372
Date de parution :1 juin 2013
Éditeur :Wiley

Marque éditoriale :Wiley-ISTE
Format de fichier :EPUB2
Taille de fichier :7.21 MB
Options de téléchargement :EPUB2 (Adobe DRM)

Lectures semblables

SysML Distilled

Lenny Delligatti

VIP$34.19

Modeling in Event-B

Jean-Raymond Abrial

VIP$148.31

Algorithm-Architecture Matching for Signal and Image Processing

Guy Gogniat, Dragomir Milojevic, Adam Morawiec, Ahmet Erdogan

VIP$162.62

Formal Development of a Network-Centric RTOS

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

VIP$116.09

Handbook of Big Data Technologies

Albert Y. Zomaya, Sherif Sakr

VIP$451.70

Verification and Validation in Systems Engineering

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

VIP$139.40

Cyber-Physical System Design from an Architecture Analysis Viewpoint

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

VIP$104.48

Risks and Security of Internet and Systems

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

VIP$58.04

Formal Methods and Software Engineering

Michael Butler, Sylvain Conchon, Fatiha Zaïdi

VIP$58.04

Modeling and Verification of Real-time Systems

Nicolas Navet, Stephan Merz

$269.99

Security and Resiliency Analytics for Smart Grids

Ehab Al-Shaer, Mohammad Ashiqur Rahman

VIP$104.48

Advances in Real-Time Systems

Samarjit Chakraborty, Jörg Eberspächer

VIP$104.48

Foundations and Practice of Security

Joaquin Garcia-Alfaro, Evangelos Kranakis, Guillaume Bonfante

VIP$58.04

Formal Techniques for Safety-Critical Systems

Cyrille Artho, Peter Csaba Ölveczky

VIP$58.04

Innovative Software Development in GIS

Benedicte Bucher, Florence Le Ber

$175.99

Structured Development for Real-Time Systems

Paul T. Ward

VIP$38.96

Formal Aspects of Component Software

Olga Kouchnarenko, Ramtin Khosravi

VIP$58.04

Developing High Quality Data Models

Matthew West

VIP$53.99

Networked Systems

Ahmed Bouajjani, Hugues Fauconnier

VIP$58.04

Foundations and Practice of Security

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

VIP$58.04

Reconfigurable Mobile Radio Systems

Guillaume Vivier

$199.99

Hardware and Software: Verification and Testing

Nir Piterman

VIP$54.62

The New Codebreakers

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

VIP$63.89

Foundations and Practice of Security

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

VIP$58.04

Engineering Trustworthy Software Systems

Zhiming Liu, Zili Zhang

VIP$58.04

Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems

Anne Remke, Boudewijn R. Haverkort

VIP$58.04

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

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

VIP$58.04

Foundations and Practice of Security

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

VIP$58.04

Formal Aspects of Component Software

Christiano Braga, Peter Csaba Ölveczky

VIP$58.04

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

Thierry Lecomte, Ralf Pinger, Alexander Romanovsky

VIP$58.04

Reliable Software Technologies – Ada-Europe 2016

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

VIP$58.85

Advances in Databases and Information Systems

Morzy Tadeusz, Patrick Valduriez, Ladjel Bellatreche

VIP$58.04

Wireless Sensor Networks

Feng Zhao, Leonidas Guibas

VIP$55.43

Big Data Analytics and Knowledge Discovery

Sanjay Madria, Takahiro Hara

VIP$58.04

Theoretical Information Reuse and Integration

Thouraya Bouabana-Tebibel, Stuart H Rubin

VIP$104.48

Radio Frequency Identification: Security and Privacy Issues

Nitesh Saxena, Ahmad-Reza Sadeghi

VIP$54.62

Networked Systems

Amr El Abbadi, Benoît Garbinato

VIP$58.04

3D Printers to Print Lunar Base and Living Tissue

Janani Gopalakrishnan Vikram

VIP$0.74

Advanced AutoCAD® 2016 Exercise Workbook

Cheryl R. Shrock, Steve Heather

VIP$69.02

Structured Object-Oriented Formal Language and Method

Shaoying Liu, Zhenhua Duan

VIP$58.04

Inter-cooperative Collective Intelligence: Techniques and Applications

Nik Bessis, Fatos Xhafa

VIP$162.62

Project Management 2.0

Harold Kerzner

$91.99

Workbook to Accompany Maintenance & Reliability Best Practices

Ramesh Gulati

VIP$59.12

Great Projects

James Tobin

$29.99

Multimodal Transport Systems

Slim Hammadi, Mekki Ksouri

$174.99

Integration of AI and OR Techniques in Constraint Programming

Claude-Guy Quimper

VIP$58.04

Handbook of Ocean Container Transport Logistics

Chung-Yee Lee, Qiang Meng

VIP$254.33

Cyber Physical Systems. Design, Modeling, and Evaluation

Christian Berger, Mohammad Reza Mousavi, Rafael Wisniewski

VIP$58.04

Project Engineering

Frederick Plummer

VIP$35.99

Database and Expert Systems Applications

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

VIP$58.04

Algorithmic Aspects of Cloud Computing

Timos Sellis, Konstantinos Oikonomou

VIP$58.04

Product Lifecycle Management (Volume 2)

John Stark

VIP$232.28

Innovative Security Solutions for Information Technology and Communications

Ion Bica, David Naccache, Emil Simion

VIP$54.62

Projects Without Boundaries

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

$79.99

Scalable Multi-core Architectures

Dimitrios Soudris, Axel Jantsch

VIP$104.48

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

VIP$5.39

NASA Formal Methods

Sanjai Rayadurgam, Oksana Tkachuk

VIP$76.49

Extractive Metallurgy 3

Alain Vignes

$186.99

Lean TPM

Dennis McCarthy, Nick Rich

VIP$80.63

Structured Development for Real-Time Systems, Vol. III

Paul T. Ward, Stephen J. Mellor

VIP$39.59

Strategies for Real-Time System Specification

Derek Hatley, Imtiaz Pirbhai

VIP$17.99

False Twist Textured Yarns

C Atkinson

VIP$179.27

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

VIP$375.77

Formal Techniques for Safety-Critical Systems

Cyrille Artho, Peter Csaba Ölveczky

VIP$58.04

Formal Techniques for Safety-Critical Systems

Cyrille Artho, Peter Csaba Ölveczky

VIP$58.04

Advanced Transport Protocols

Ernesto Exposito

$175.99

Secure Integrated Circuits and Systems

Ingrid M.R. Verbauwhede

VIP$104.48

Overview of Industrial Process Automation

K.L.S. Sharma

VIP$71.99

Software Technologies

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

VIP$58.04

Evolutionary Computing in Advanced Manufacturing

Manoj Tiwari, Jenny A. Harding

$224.99

Advances in Spatial and Temporal Databases

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

VIP$58.04

Planning by Design (PxD)-Based Systematic Methodologies

Hakan Butuner

VIP$77.61

Provably Correct Systems

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

VIP$104.48

Enhancing Synergies in a Collaborative Environment

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

VIP$104.48

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

VIP$68.30

Principles and Practice of Constraint Programming

J. Christopher Beck

VIP$58.04

Autres livres de l'auteur

Certifiable Software Applications 1

Jean-Louis Boulanger

VIP$103.67

CENELEC 50128 and IEC 62279 Standards

Jean-Louis Boulanger

$174.99

Safety of Computer Architectures

Jean-Louis Boulanger

$174.99

Static Analysis of Software

Jean-Louis Boulanger

$161.99

Safety Management for Software-based Equipment

Jean-Louis Boulanger

$174.99

Formal Methods Applied to Complex Systems

Jean-Louis Boulanger

$220.99

Industrial Use of Formal Methods

Jean-Louis Boulanger

$175.99

Formal Methods Applied to Industrial Complex Systems

Jean-Louis Boulanger

$210.99

Certifiable Software Applications 2

Jean-Louis Boulanger

VIP$103.67

Avez-vous aimé le livre ?

Soyez la première personne à noter ce livre et à laisser un avis !

Il s'agit de notre librairie Canada.

Formal Methods

Pourquoi lire avec nous ?

Résumé

À propos de ce livre

Détails du livre

Comment lire

Lectures semblables

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

Great Projects

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