Hardback (03 Dec 2020)
Not available for sale
Out of stock
The SCADE tool has been used from many years for the development of safety critical software in the nuclear, aeronautics and railways sectors. The language supported by this tool is also called SCADE and is based on the formal language LUSTRE. In this book, the authors present the SCADE language (syntax and semantics) along with some examples of use.
| ISBN: | 9781848215573 |
| Publisher: | Wiley-ISTE |
| Imprint: | Wiley-ISTE |
| Pub date: | 03 Dec 2020 |
| DEWEY: | 620.86 |
| DEWEY edition: | 23 |
| Language: | English |
| Number of pages: | 304 |
| Weight: | -1g |
| Height: | 250mm |
| Width: | 150mm |
$19.70off
Hands-On Salesforce Data Cloud
Paperback
Published 20 Aug 2024
Save $19.70
$26.59off
Delta Lake
Paperback
Published 12 Nov 2024
Save $26.59
$19.40off
Practical Lakehouse Architecture
Paperback
Published 06 Aug 2024
Save $19.40
$14.85off
Data Visualization With Microso...
Paperback
Published 13 Sep 2024
Save $14.85
$20.20off
Machine Learning Production Sys...
Paperback
Published 15 Oct 2024
Save $20.20
$26.06off
Aerospike
Paperback
Published 29 Oct 2024
Save $26.06
$16.01off
Facilitating Software Architect...
Paperback
Published 22 Nov 2024
Save $16.01
$15.51off
Learning Modern C++ for Finance
Paperback
Published 19 Nov 2024
Save $15.51
$3.09off
Create and Update an Unresource...
Paperback
Published 20 Feb 2024
Save $3.09
$3.83off
Microsoft 365, Office 2021
Paperback
Published 26 Oct 2022
Save $3.83