Validation and Verification of Formal Specifications in Object-oriented Software Engineering - Steven a Thomson - Bøker - Biblioscholar - 9781249834274 - 17. oktober 2012

Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Fortell venner om denne varen:

Steven a Thomson
Validation and Verification of Formal Specifications in Object-oriented Software Engineering Steven a Thomson

Har du en profil? Logg inn

Kundene våre sier:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14 dages returrett

Toppvurdering på Trustpilot

Legg til iMusic ønskeliste

eller

Validation and Verification of Formal Specifications in Object-oriented Software Engineering

Steven a Thomson

Media	Bøker Pocketbok (Bok med mykt omslag og limt rygg)
Utgitt	17. oktober 2012
ISBN13	9781249834274
Utgivere	Biblioscholar
Antall sider	212
Mål	189 × 246 × 11 mm · 385 g

Mere med samme udgiver

Pocketbok

Electrical Transfer Function and... (2013)
Michael Dale Watson
Pocketbok

Experimental Study of Boundary L... (2013)
Rickey J Shyne
Pocketbok

Pilot Non-Conformance to Alertin... (2013)
Amy Ruth Pritchett
Pocketbok

The Numerical Analysis of a Turb... (2013)
James R Debonis
Pocketbok

Surface Disturbances in Magnetoh... (2013)
S I Syrovatskiy
Pocketbok

Viscoplastic Model Development t... (2013)
Saiganesh Iyer
Pocketbok

A High Spectral Resolution Lidar... (2013)
Paivi Piironen
Pocketbok

The Effect of Wake Passing on Tu... (2013)
James David Heidmann
Pocketbok

An Algorithm for Efficient Maxim... (2013)
Patrick Charles Murphy
Pocketbok

Launch Vehicle Propulsion Parame... (2013)
Joey Dewayne Shelton
Pocketbok

Determination of the Fracture Pa... (2013)
Chung-Yi Lin
Pocketbok

Theoretical and Observational St... (2013)
Ran Sivron
Pocketbok

An Acoustic Charge Transport Ima... (2013)
W D Hunt
Pocketbok

A Study of Wake Development and ... (2013)
Flint O Thomas
Pocketbok

Theoretical and Numerical Invest... (2013)
Anjan Ray
Pocketbok

Plum: Parallel Load Balancing fo... (2013)
Leonid Oliker
Pocketbok

A Broad-Band Spectral and Timing... (2013)
Michael Damian Audley
Pocketbok

An Acoustic Charge Transport Ima... (2013)
W D Hunt
Pocketbok

Student Support for Research in ... (2013)
Clyde F Martin
Pocketbok

Multi-Dimensional Upwind Fluctua... (2013)
William A Wood
Pocketbok

The Use of Laser-Induced Fluores... (2013)
James S Sovey
Pocketbok

Generalized Reliability Methodol... (2013)
Jonathan A Salem
Pocketbok

An Algorithm for Integrated Subs... (2013)
Kemper Lewis
Pocketbok

Numerical Simulation of Diaphrag... (2013)
Paul Petrie-Repar
Pocketbok

Isothermal Fatigue, Damage Accum... (2013)
Andrew L Gyekenyesi
Pocketbok

High Energy Particle Acceleratio... (2013)
Jonathan Wilmore Keohane
Pocketbok

Open Platform for Limit Protecti... (2013)
Geoffrey J Jeram
Pocketbok

System Dynamic Analysis of a Win... (2013)
Ralph David Buehrle
Pocketbok

Computation of Turbulent Recircu... (2013)
Byong Hoon Chang
Pocketbok

Improvements in Block-Krylov Rit... (2013)
Kelly Scott Carney
Pocketbok

The Behavior of TCP and Its Exte... (2013)
Ruhai Wang
Pocketbok

An Automated Code Generator for ... (2013)
Rodger William Dyson

Se alt med Steven a Thomson ( f.eks. Pocketbok )

Steven a Thomson Validation and Verification of Formal Specifications in Object-oriented Software Engineering Steven a Thomson

Validation and Verification of Formal Specifications in Object-oriented Software Engineering

Steven a Thomson

Mere med samme udgiver

Steven a Thomson
Validation and Verification of Formal Specifications in Object-oriented Software Engineering Steven a Thomson