Uw privacy-instellingen

Door 'Alles accepteren' te selecteren, geef je Rakuten Kobo en hun partners toestemming om cookies, tracking en vergelijkbare technologieën te gebruiken om je persoonsgegevens te verzamelen en te verwerken voor de volgende doeleinden: om de website en Kobo-diensten te beheren en ervoor te zorgen dat deze goed werken, om je gepersonaliseerde content op Kobo en advertenties voor Kobo op andere platforms te bieden en om analyses uit te voeren en te analyseren hoe onze website en diensten worden gebruikt. Klik hieronder anders op 'Weigeren' om alle niet-essentiële doeleinden te weigeren of bekijk de 'Privacy-instellingen' om je voorkeuren voor elk doel te beheren. Lees voor meer informatie ons Privacybeleid

Formal Methods

Industrial Use from Model to the Code

Jean-Louis Boulanger

Acheter l'eBook

140,99 €

Je bent nu in de winkel voor België

Niet in België? Kies de winkel van het land waar je je in bevindt om verkrijgbare boeken te zien.

Kies je winkel

Nu kopen Geef een boek cadeau

Meer informatie over prijskoppeling

Waarom lezen met ons?

Met Kobo lezen boekenliefhebbers meer.

Verrijk je leeservaring met onze Kobo eReaders

Uitgebreide en relevante boekencatalogus

Gratis Kobo lees-app

Synopsis

Categorieën

Over dit boek

Taal:English
ISBN:9781118614372
Lanceringsdatum:1 jun 2013
Uitgever:Wiley

Imprint:Wiley-ISTE
Bestandsformaat:EPUB2
Bestandsgrootte:7.21 MB
Downloadopties:EPUB2 (Adobe DRM)

Vergelijkbare boeken

SysML Distilled

Lenny Delligatti

33,91 €

Modeling in Event-B

Jean-Raymond Abrial

164,53 €

Algorithm-Architecture Matching for Signal and Image Processing

Guy Gogniat, Dragomir Milojevic, Adam Morawiec, Ahmet Erdogan

133,55 €

Formal Development of a Network-Centric RTOS

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

95,39 €

Handbook of Big Data Technologies

Albert Y. Zomaya, Sherif Sakr

371,10 €

Verification and Validation in Systems Engineering

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

114,47 €

Cyber-Physical System Design from an Architecture Analysis Viewpoint

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

85,85 €

Risks and Security of Internet and Systems

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

52,99 €

Formal Methods and Software Engineering

Michael Butler, Sylvain Conchon, Fatiha Zaïdi

47,69 €

Modeling and Verification of Real-time Systems

Nicolas Navet, Stephan Merz

215,99 €

Security and Resiliency Analytics for Smart Grids

Ehab Al-Shaer, Mohammad Ashiqur Rahman

85,85 €

Advances in Real-Time Systems

Samarjit Chakraborty, Jörg Eberspächer

95,39 €

Foundations and Practice of Security

Joaquin Garcia-Alfaro, Evangelos Kranakis, Guillaume Bonfante

52,99 €

Formal Techniques for Safety-Critical Systems

Cyrille Artho, Peter Csaba Ölveczky

47,69 €

Innovative Software Development in GIS

Benedicte Bucher, Florence Le Ber

140,99 €

Structured Development for Real-Time Systems

Paul T. Ward

34,97 €

Formal Aspects of Component Software

Olga Kouchnarenko, Ramtin Khosravi

47,69 €

Developing High Quality Data Models

Matthew West

46,84 €

Networked Systems

Ahmed Bouajjani, Hugues Fauconnier

47,69 €

Foundations and Practice of Security

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

52,99 €

Reconfigurable Mobile Radio Systems

Guillaume Vivier

160,99 €

Hardware and Software: Verification and Testing

Nir Piterman

49,81 €

The New Codebreakers

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

52,46 €

Foundations and Practice of Security

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

52,99 €

Engineering Trustworthy Software Systems

Zhiming Liu, Zili Zhang

52,99 €

Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems

Anne Remke, Boudewijn R. Haverkort

47,69 €

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

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

47,69 €

Foundations and Practice of Security

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

47,69 €

Formal Aspects of Component Software

Christiano Braga, Peter Csaba Ölveczky

52,99 €

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

Thierry Lecomte, Ralf Pinger, Alexander Romanovsky

47,69 €

Reliable Software Technologies – Ada-Europe 2016

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

47,69 €

Advances in Databases and Information Systems

Morzy Tadeusz, Patrick Valduriez, Ladjel Bellatreche

52,99 €

Wireless Sensor Networks

Feng Zhao, Leonidas Guibas

45,04 €

Big Data Analytics and Knowledge Discovery

Sanjay Madria, Takahiro Hara

47,69 €

Theoretical Information Reuse and Integration

Thouraya Bouabana-Tebibel, Stuart H Rubin

95,39 €

Radio Frequency Identification: Security and Privacy Issues

Nitesh Saxena, Ahmad-Reza Sadeghi

44,83 €

Networked Systems

Amr El Abbadi, Benoît Garbinato

52,99 €

3D Printers to Print Lunar Base and Living Tissue

Janani Gopalakrishnan Vikram

0,59 €

Advanced AutoCAD® 2016 Exercise Workbook

Cheryl R. Shrock, Steve Heather

45,36 €

Structured Object-Oriented Formal Language and Method

Shaoying Liu, Zhenhua Duan

47,69 €

Inter-cooperative Collective Intelligence: Techniques and Applications

Nik Bessis, Fatos Xhafa

133,55 €

Project Management 2.0

Harold Kerzner

70,99 €

Workbook to Accompany Maintenance & Reliability Best Practices

Ramesh Gulati

38,89 €

Great Projects

James Tobin

17,88 €

Multimodal Transport Systems

Slim Hammadi, Mekki Ksouri

139,99 €

Integration of AI and OR Techniques in Constraint Programming

Claude-Guy Quimper

47,69 €

Handbook of Ocean Container Transport Logistics

Chung-Yee Lee, Qiang Meng

232,14 €

Cyber Physical Systems. Design, Modeling, and Evaluation

Christian Berger, Mohammad Reza Mousavi, Rafael Wisniewski

52,99 €

Project Engineering

Frederick Plummer

30,62 €

Database and Expert Systems Applications

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

52,99 €

Algorithmic Aspects of Cloud Computing

Timos Sellis, Konstantinos Oikonomou

47,69 €

Product Lifecycle Management (Volume 2)

John Stark

211,99 €

Innovative Security Solutions for Information Technology and Communications

Ion Bica, David Naccache, Emil Simion

44,83 €

Projects Without Boundaries

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

61,99 €

Scalable Multi-core Architectures

Dimitrios Soudris, Axel Jantsch

95,39 €

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

5,99 €

NASA Formal Methods - eBook door Sanjai Rayadurgam, Oksana Tkachuk

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

61,15 €

Principles and Practice of Constraint Programming

J. Christopher Beck

47,69 €

Meer van deze auteur

Certifiable Software Applications 1 - eBook door Jean-Louis Boulanger

Vond je het boek de moeite waard?

Beoordeel en recenseer dit boek als eerste!

Uw privacy-instellingen

Formal Methods

Waarom lezen met ons?

Synopsis

Over dit boek

Boek specificaties

Hoe te lezen

Vergelijkbare boeken

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