Software engineering mathematics

Software engineering mathematics

Woodcock, Jim, Loomes, Martin

0 / 0

Sukakah anda buku ini?

Bagaimana kualiti fail ini?

Muat turun buku untuk menilai kualitinya

Bagaimana kualiti fail yang dimuat turun?

Kategori:

Science (General)
Mathematics - Discrete Mathematics

Tahun:

1989

Edisi:

North American ed.

Penerbit:

Addison-Wesley

Bahasa:

english

Halaman:

271

ISBN 10:

0748408134

ISBN 13:

9780748408139

Nama siri:

SEI series in software engineering.

Fail:

PDF, 12.17 MB

IPFS:

,

english, 1989

Baca dalam Talian

Memuat turun (pdf, 12.17 MB)

Penukaran menjadi sedang dijalankan

Penukaran menjadi gagal

Mungkin anda berminat

Tim Denvir (auth.) — Introduction to Discrete Mathematics for Software Engineering

Paul Halmos — Logic as Algebra

Paul Halmos, Steven Givant — Logic as Algebra

Paul Halmos — Logic as Algebra

— 1998 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '98

Woodcock J. Using Z. — Specification,refinement,and proof

Woodcock, Davies. — Using Z

Cliff B. Jones — Systematic Software Development Using VDM

Jim Woodcock, Jim Davies — Using Z.Specification,refinement,and proof

Giovanni Sambin, Jan M. Smith — Twenty-five years of constructive type theory. Proceedings of a congress held in Venice, october 1995

Wladyslaw M. Turski, Thomas S. E. Maibaum — The Specification of Computer Programs

Steve Reeves, Michael Clarke — Logic for Computer Science

Simon Thompson — Type Theory and Functional Programming

David Lightfoot (auth.) — Formal Specification Using Z

Carol R. Karp (Eds.) — Languages with Expressions of Infinite Length

J. R. Abrial — The B-Book: Assigning Programs to Meanings

Jean-Raymond Abrial — The B-book : assigning programs to meanings / [...] XD-US

Skolem T., Hasenjaeger G., Kreisel G., Robinson A., et al. — Mathematical interpretation of formal systems

James L. Hein — Discrete Mathematics

Paul Halmos, Steven Givant — Logic as algebra

Ladislav Rieger — Algebraic Methods of Mathematical Logic

Derek Goldrei — Propositional and Predicate Calculus

O'Regan G — Mathematics in computing

Gerard O'Regan — Mathematical Foundations of Software Engineering

Gerard O'Regan — Guide to Discrete Mathematics

Gerard O'Regan — Guide to Discrete Mathematics

Andreas Abel (auth.), Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith (eds.) — Types for Proofs and Programs: International Workshop, TYPES’99 Lökeberg, Sweden, June 12–16, 1999 Selected Papers

Chandani Kaul — Accessible Introduction to Discrete Mathematics: History, Theory, Logic, and Applications Guide

Agazzi E. — Modern logic - a survey: Historical, philosophical and mathematical aspects of modern logic and its applications

G. Kreisel (auth.), Jaakko Hintikka, Ilkka Niiniluoto, Esa Saarinen (eds.) — Essays on Mathematical and Philosophical Logic: Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskylä, Finland, June 29–July 6, 1976

Istilah utama