Politeknik Siber dan Sandi Negara

Knowledge Center of Cybersecurity and Cryptography

  • Home
  • Information
  • News
  • Help
  • Librarian
  • Member Area
  • Select Language :
    Arabic Bengali Brazilian Portuguese English Espanol German Indonesian Japanese Malay Persian Russian Thai Turkish Urdu

Search by :

ALL Author Subject ISBN/ISSN Advanced Search

Last search:

{{tmpObj[k].text}}
Image of Verification of computer codes in computational science and engineering
Bookmark Share

Text

Verification of computer codes in computational science and engineering

Fitzgerald, A.E - Personal Name; Knuupp, Patrick - Personal Name; Rosen, Kenneth H - Personal Name; Salari, Kambiz - Personal Name;

CONTENT:
Chapter 1. Introduction to code verification
Chapter 2. The mathematical model and numerical algorithm
Chapter 3. The order-verification procedure (OVMSP)
Chapter 4. Design of coverage test suite
Chapter 5. Finding exact solutions
Chapter 6. Benefits of the order-verification procedure
Chapter 7. Related code-development activities
Chapter 8. Sample code-verification exercises
Chapter 9. Advanced topics
Chapter 10. Summary and conclusions


Availability
#
Perpustakaan Poltek SSN (Rak 500) 515 KNU v
00000310
Available
Detail Information
Series Title
Discrete mathematics and its applications
Call Number
515 KNU v
Publisher
Florida : CRC Press., 2003
Collation
144 hlm.; 25 cm.
Language
English
ISBN/ISSN
9781584882640
Classification
515
Content Type
-
Media Type
-
Carrier Type
-
Edition
null
Subject(s)
Stres (Psikologi)
kalkulus
numerical calculation
Specific Detail Info
-
Statement of Responsibility
Patrick Knuupp danKambiz Salari
Other version/related

No other version available

File Attachment
No Data
Comments

You must be logged in to post a comment

Politeknik Siber dan Sandi Negara
  • Information
  • Services
  • Librarian
  • Member Area

About Us

Perpustakaan Politeknik Siber dan Sandi Negara menyediakan berbagai macam koleksi seperti Buku, Jurnal, Majalah, Koran, Referensi dan Konten Lokal.

Search

start it by typing one or more keywords for title, author or subject

Keep SLiMS Alive Want to Contribute?

© 2025 — Senayan Developer Community

Powered by SLiMS
Select the topic you are interested in
  • Computer Science, Information & General Works
  • Philosophy & Psychology
  • Religion
  • Social Sciences
  • Language
  • Pure Science
  • Applied Sciences
  • Art & Recreation
  • Literature
  • History & Geography
Icons made by Freepik from www.flaticon.com
Advanced Search
Where do you want to share?