Specification and Proof in Real Time CSP 1
bokomslag Specification and Proof in Real Time CSP
Data & IT

Specification and Proof in Real Time CSP

Jim Davies

Pocket

999:-

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

Uppskattad leveranstid 7-12 arbetsdagar

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

Andra format:

  • 200 sidor
  • 2011
  • Författare: Jim Davies
  • Format: Pocket/Paperback
  • ISBN: 9781107403864
  • Språk: Engelska
  • Antal sidor: 200
  • Utgivningsdatum: 2011-11-08
  • Förlag: Cambridge University Press

Du kanske gillar

  1. bokomslag Specification and Proof in Real Time CSP

    Specification and Proof in Real Time CSP

    Jim Davies

    Inbunden

    1899:-
  2. bokomslag Estudo comparativo de centrais CSP de torre solar e de calha parabólica

    Estudo comparativo de centrais CSP de...

    Mohammed Muye Haruna

    Pocket

    499:-
  3. bokomslag Basic User Manual for CSP-Rules-V2.1

    Basic User Manual for CSP-Rules-V2.1

    Denis Berthier

    Pocket

    219:-
  4. bokomslag Illustrating Armageddon

    Illustrating Armageddon

    Jim Davies

    Inbunden

    429:-
  5. bokomslag Étude comparative des centrales solaires à tour et à fosse parabolique (CSP)

    Étude comparative des centrales solai...

    Mohammed Muye Haruna

    Pocket

    499:-
  6. bokomslag Integrated Formal Methods

    Integrated Formal Methods

    Jeremy Gibbons Jim Davies

    Pocket

    1469:-
  7. bokomslag CSP2KDP-Test1-Kriza: The Joy of Testing

    CSP2KDP-Test1-Kriza: The Joy of Testing

    Melissa Krizamoc

    Häftad

    269:-
  8. bokomslag Studio comparativo di impianti CSP a torre solare e a trogolo parabolico

    Studio comparativo di impianti CSP a ...

    Mohammed Muye Haruna

    Pocket

    499:-
  9. bokomslag Vergleichende Studie von Solarturm- und Parabolrinnen-CSP-Kraftwerken

    Vergleichende Studie von Solarturm- u...

    Mohammed Muye Haruna

    Pocket

    499:-
  10. bokomslag Formal Methods and Software Engineering

    Formal Methods and Software Engineering

    Jim Davies, Wolfram Schulte, Mike Barnett

    Pocket

    1469:-

Andra av samma författare

  1. bokomslag ITIL Foundation All-in-One Exam Guide

    ITIL Foundation All-in-One Exam Guide

    Jim Davies

    Pocket

    389:-
  2. bokomslag Riveted

    Riveted

    Jim Davies

    Inbunden

    349:-
  3. bokomslag Imagination

    Imagination

    Jim Davies

    Inbunden

    379:-
  4. bokomslag Illustrating Armageddon

    Illustrating Armageddon

    Jim Davies

    Inbunden

    429:-
  5. bokomslag Formal Methods and Software Engineering

    Formal Methods and Software Engineering

    Jim Davies, Wolfram Schulte, Mike Barnett

    Pocket

    1469:-
  6. bokomslag FM'99 - Formal Methods

    FM'99 - Formal Methods

    Jeannette M Wing, Jim Woodcook, Jim Davies

    Pocket

    1469:-
  7. bokomslag FM'99 - Formal Methods

    FM'99 - Formal Methods

    Jeannette M Wing, Jim Woodcook, Jim Davies

    Pocket

    1469:-
  8. bokomslag Integrated Formal Methods

    Integrated Formal Methods

    Jeremy Gibbons Jim Davies

    Pocket

    1469:-
  9. bokomslag Formal Methods: Foundations and Applications

    Formal Methods: Foundations and Appli...

    Jim Davies, Leila Silva, Adenilso Simao

    Pocket

    749:-
  10. bokomslag Engineering Agile Big-Data Systems

    Engineering Agile Big-Data Systems

    Kevin Feeney, Jim Davies, James Welch

    Pocket

    909:-