Automated Theorem Proving in High-Quality Software Design 1
bokomslag Automated Theorem Proving in High-Quality Software Design
Samhälle & debatt

Automated Theorem Proving in High-Quality Software Design

Johann Schumann • Nasa Technical Reports Server

Pocket

329:-

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:-

  • 22 sidor
  • 2013
  • Författare: Johann Schumann, Nasa Technical Reports Server
  • Format: Pocket/Paperback
  • ISBN: 9781289165482
  • Språk: Engelska
  • Antal sidor: 22
  • Utgivningsdatum: 2013-07-15
  • Förlag: Bibliogov

Du kanske gillar

  1. Ny
    bokomslag Död mans kvinna

    Död mans kvinna

    Katarina Wennstam

    Pocket

    125:-
  2. bokomslag Pippi på de sju haven

    Pippi på de sju haven

    Astrid Lindgren

    Inbunden

    207:- (259:-)
  3. bokomslag Hon som blev kvar

    Hon som blev kvar

    Riley Sager

    Pocket

    115:-
  4. bokomslag Tranorna flyger söderut

    Tranorna flyger söderut

    Lisa Ridzén

    Pocket

    125:-
  5. bokomslag Pojken, mullvaden, räven och hästen

    Pojken, mullvaden, räven och hästen

    Charlie Mackesy

    Inbunden

    229:- (299:-)
  6. Ny
    bokomslag Skärvor av en syster

    Skärvor av en syster

    Sarah Easter Collins

    Pocket

    79:- (125:-)
  7. Ny
    bokomslag Konstiga Sally Diamond

    Konstiga Sally Diamond

    Liz Nugent

    Pocket

    79:- (125:-)
  8. bokomslag Yellowface (svensk utgåva)

    Yellowface (svensk utgåva)

    R F Kuang

    Pocket

    79:- (125:-)
  9. bokomslag Morgondagen är för de modiga

    Morgondagen är för de modiga

    Kelly Bowen

    Pocket

    79:- (125:-)
  10. bokomslag Ett fall på Capri

    Ett fall på Capri

    Anders de la Motte • Anette de la Motte

    Pocket

    125:-

Andra av samma författare

  1. bokomslag Human Adaptation to Space

    Human Adaptation to Space

    Nasa Technical Reports Server Jennife...

    Pocket

    329:-
  2. bokomslag A Computational Procedure for Identifying Bilinear Representations of Nonlinear Systems Using Volterra Kernels

    A Computational Procedure for Identif...

    Nasa Technical Reports Server

    Pocket

    419:-
  3. bokomslag Weather Information Communication Technologies for Increased Safety and Mobility in the National Airspace System

    Weather Information Communication Tec...

    Nasa Technical Reports Server Don R H...

    Pocket

    349:-
  4. bokomslag A High-Order, Linear Time-Invariant Model for Application to Higher Harmonic Control and Flight Control System Interaction

    A High-Order, Linear Time-Invariant M...

    Nasa Technical Reports Server Rendy P...

    Pocket

    469:-
  5. bokomslag Quiet High Speed Fan (Qhsf) Flutter Calculations Using the Turbo Code

    Quiet High Speed Fan (Qhsf) Flutter C...

    Nasa Technical Reports Server Milind ...

    Pocket

    269:-
  6. bokomslag Heat Transfer and Fluid Dynamics Measurements in the Expansion Space of a Stirling Cycle Engine

    Heat Transfer and Fluid Dynamics Meas...

    Nasa Technical Reports Server

    Pocket

    329:-
  7. bokomslag Investigation of Flow Instabilities in the Inlet Ducts of DP-1c Vtol Aircraft

    Investigation of Flow Instabilities i...

    Nasa Technical Reports Server Jan Lep...

    Pocket

    379:-
  8. bokomslag Effects of Palladium Content, Quaternary Alloying, and Thermomechanical Processing on the Behavior of Ni-Ti-Pd Shape Memory Alloys for Actuator Applications

    Effects of Palladium Content, Quatern...

    Nasa Technical Reports Server

    Pocket

    389:-
  9. bokomslag Wireless Channel Characterization in the 5 Ghz Microwave Landing System Extension Band for Airport Surface Areas

    Wireless Channel Characterization in ...

    Nasa Technical Reports Server David W...

    Pocket

    399:-
  10. bokomslag Documentation and Control of Flow Separation on a Low Pressure Turbine Linear Cascade of Pak-B Blades Using Plasma Actuators

    Documentation and Control of Flow Sep...

    Nasa Technical Reports Server Thomas ...

    Pocket

    449:-