Skip to content
isit530.net
  • Home
  • Contact
  • DMCA
  • Privacy Policy
  • Terms of Use
Programming with Specifications

  • Programming with Specifications

  • Author: David Luckham
  • Release Date: 2012-12-06
  • Piblisher: Springer Science & Business Media
  • ISBN: 9781461396857
  • Kategories: Computers
  • Pages: 416
An Introduction to Programming with Specifications

  • An Introduction to Programming with Specifications

  • Author: Gerard Meurant
  • Release Date: 2012-12-02
  • Piblisher: Academic Press
  • ISBN: 9780080984469
  • Kategories: Computers
  • Pages: 267
Programming with Specifications

  • Programming with Specifications

  • Author: David C. Luckham
  • Release Date: 1990
  • Piblisher:
  • ISBN: UOM:39015021860815
  • Kategories: ANNA (Computer program language)
  • Pages: 416
Nondeterminism in Algebraic Specifications and Algebraic Programs

  • Nondeterminism in Algebraic Specifications and Algebraic Programs

  • Author: Hussmann
  • Release Date: 2013-03-08
  • Piblisher: Springer Science & Business Media
  • ISBN: 9781468468342
  • Kategories: Mathematics
  • Pages: 254
Algebraic Specification Techniques in Object Oriented Programming Environments

  • Algebraic Specification Techniques in Object Oriented Programming Environments

  • Author: Ruth Breu
  • Release Date: 1991-12-04
  • Piblisher: Springer Science & Business Media
  • ISBN: 3540549722
  • Kategories: Computers
  • Pages: 228
Formal Specification Techniques for Engineering Modular C Programs

  • Formal Specification Techniques for Engineering Modular C Programs

  • Author: Tan Yang Meng
  • Release Date: 2012-12-06
  • Piblisher: Springer Science & Business Media
  • ISBN: 9781461541257
  • Kategories: Computers
  • Pages: 213
Index of Technical and Management Information Specifications for Use on NASA Programs

  • Index of Technical and Management Information Specifications for Use on NASA Programs

  • Author: United States. National Aeronautics and Space Administration
  • Release Date: 1970
  • Piblisher:
  • ISBN: UOM:39015047880649
  • Kategories: Aeronautics
  • Pages: 377
Program Specification

  • Program Specification

  • Author: J. Staunstrup
  • Release Date: 1982-04
  • Piblisher: Springer Science & Business Media
  • ISBN: 3540114904
  • Kategories: Computers
  • Pages: 426
Specification and Transformation of Programs

  • Specification and Transformation of Programs

  • Author: Helmut A. Partsch
  • Release Date: 2012-12-06
  • Piblisher: Springer Science & Business Media
  • ISBN: 9783642615122
  • Kategories: Computers
  • Pages: 493
Modular Specification and Verification of Object Oriented Programs

  • Modular Specification and Verification of Object Oriented Programs

  • Author: Peter Müller
  • Release Date: 2003-07-31
  • Piblisher: Springer
  • ISBN: 9783540456513
  • Kategories: Computers
  • Pages: 298
Page 30 of 161« First«...1020...2829303132...405060...»Last »

New Books

  • 101 Damnations
  • How I Got Cultured
  • Boston Terrier
  • Economic Sanctions
  • Encyclopedia of Criminal Activities and the Deep Web
  • Euripides' Kresphontes and Archelaos
  • Postdigital Positionality
  • Jack & Jill
  • My Story: The Blitz
  • The Insane Root (Esprios Classics)
  • Show Me the Money: How to Raise the Cash to Get Your Business Off the Ground - New Revised Edition
  • Twelve Babies on a Bike
  • Music and Soulmaking
  • The Record of a Fallen Vampire, Vol. 9
  • An Essay On The Art Of Ingeniously Tormenting
  • Office Buildings
  • The Land That Time Forgot Illustrated
  • Towards Human Rights in Residential Care for Older Persons: International Perspectives
  • Motherhood Is a B#tch: 10 Steps to Regaining Your Sanity, Sexiness, and Inner Diva
  • Christian Epigraphy
  • Billy's Box
  • Elsie at Home, Book 22
  • The New Feminine Brain
  • The Hitchcock Romance
  • Modeling of Plume Rise and Dispersion - The University of Salford Model: U.S.P.R.
  • Un Mundo para Héctor. I: El cuento que nunca vio el final.
  • Assassin Study
  • Handbook of Prosocial Education: 2 Volumes
  • Paper Pound, 1797-1812
  • Business Economics
  • Dance of Light
  • The Reclamation of a Queen
  • Dizionario dei filosofi e delle scuole filosofiche
  • Professional Bread Baking
  • Supporting the Well Being of Girls: An evidence-based school programme
  • The Last Stand For Jasmine Jett
  • Mountain State Mammals
  • Heat Transfers and Related Effects in Supercritical Fluids (Fluid Mechanics and Its Applications)
  • On Dark and Bloody Ground
  • The Art of Polymer Clay
© 2022 isit530.net