Contracts for System Design 1
bokomslag Contracts for System Design
Vetenskap & teknik

Contracts for System Design

Albert Benveniste • Benoit Caillaud • Dejan Nickovic • Roberto Passerone • Jean-Baptiste Raclet

Pocket

1619:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 3-8 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 296 sidor
  • 2018
  • Författare: Albert Benveniste, Benoit Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet
  • Format: Pocket/Paperback
  • ISBN: 9781680834024
  • Språk: Engelska
  • Antal sidor: 296
  • Utgivningsdatum: 2018-03-28
  • Förlag: now publishers Inc

Du kanske gillar

  1. bokomslag Hardware-Software Co-Design of Embedded Systems

    Hardware-Software Co-Design of Embedd...

    F Balarin, Paolo Giusto, Attila Jurecska, Claudio Passerone, Ellen Sentovich

    Inbunden

    2139:-
  2. bokomslag Hardware-Software Co-Design of Embedded Systems

    Hardware-Software Co-Design of Embedd...

    F Balarin, Paolo Giusto, Attila Jurecska, Claudio Passerone, Ellen Sentovich

    Pocket

    2139:-
  3. bokomslag Formal Methods for Industrial Critical Systems

    Formal Methods for Industrial Critica...

    Maurice H Ter Beek, Dejan Ni?Kovi?, Dejan Nickovic, Maurice H Ter Beek, Dejan NičKovic

    Pocket

    749:-
  4. bokomslag Runtime Verification

    Runtime Verification

    Jyotirmoy Deshmukh, Dejan Ni?Kovi?, Dejan Nickovic, Dejan NičKovic

    Pocket

    749:-
  5. bokomslag Optimization

    Optimization

    Jean-Bapiste Hiriart-Urruty, Werner Oettli, Josef Stoer, Hiriart-Urruty, Jean-Baptiste Hiriart-Urruty

    Pocket

    4349:-
  6. bokomslag Understanding Mega Free Trade Agreements

    Understanding Mega Free Trade Agreements

    Jean-Baptiste Velut, Louise Dalingwater, Vanessa Boullet, Valérie Peyronel, Jean-Baptiste Velut

    Pocket

    789:-
  7. bokomslag Understanding Mega Free Trade Agreements

    Understanding Mega Free Trade Agreements

    Jean-Baptiste Velut, Louise Dalingwater, Vanessa Boullet, Valérie Peyronel, Jean-Baptiste Velut

    Inbunden

    2679:-
  8. bokomslag Walking Science's Narrow Path

    Walking Science's Narrow Path

    Tijana Janjic, Dragutin T Mihailovi?, Slobodan Nickovic, Dragutin T Mihailovic

    Pocket

    1519:-
  9. bokomslag Chemical and Physiological Balance of Organic Nature, an Essay by J.B. Dumas and J.B. Boussingault

    Chemical and Physiological Balance of...

    Jean Baptiste A Dumas, Jean Baptiste Boussingault, Jean Baptiste A Dumas, Jean Baptiste A Dumas, Jean Baptiste J D Boussingault

    Pocket

    279:-
  10. bokomslag Chemical and Physiological Balance of Organic Nature, an Essay by J.B. Dumas and J.B. Boussingault

    Chemical and Physiological Balance of...

    Jean Baptiste A Dumas, Jean Baptiste Boussingault, Jean Baptiste A Dumas, Jean Baptiste A Dumas, Jean Baptiste J D Boussingault

    Klotband

    479:-

Andra av samma författare

  1. bokomslag Platform-Based Design

    Platform-Based Design

    Roberto Passerone Alberto Sangiovanni...

    Klotband

    2329:-
  2. bokomslag Formal Methods for Industrial Critical Systems

    Formal Methods for Industrial Critica...

    Maurice H Ter Beek, Dejan Ni?Kovi?, Dejan Nickovic, Maurice H Ter Beek, Dejan NičKovic

    Pocket

    749:-
  3. bokomslag Runtime Verification

    Runtime Verification

    Jyotirmoy Deshmukh, Dejan Ni?Kovi?, Dejan Nickovic, Dejan NičKovic

    Pocket

    749:-
  4. bokomslag Detection of Abrupt Changes in Signals and Dynamical Systems

    Detection of Abrupt Changes in Signal...

    Albert Benveniste Michele Basseville

    Pocket

    1429:-
  5. bokomslag Formal Modeling and Analysis of Timed Systems

    Formal Modeling and Analysis of Timed...

    Dejan Nickovic Marcin Jurdzinski

    Pocket

    689:-
  6. bokomslag Adaptive Algorithms and Stochastic Approximations

    Adaptive Algorithms and Stochastic Ap...

    Albert Benveniste, Michel Metivier, Pierre Priouret

    Pocket

    1859:-