Formal approaches to computing and information technology (FACIT)

Material type: 図書

Author: -

Publisher: Springer-Verlag

Publication date: -

Material Format: Paper

Capacity, size, etc.: -

NDC: -

View All

Related materials as well as pre- and post-revision versions

Formal object-oriented development Notations for software design A theory and practice of program development Formal methods in human-computer interaction Specification case studies in RAISE Refinement in Z and object-Z : foundations and advanced applications Constructing correct software : the basics Industrial-strength formal methods in practice Proof in VDM : a practitioner's guide The B language and method : a guide to practical formal development On the refinement calculus Program development by refinement : case studies using the B method Software specification methods : an overview using a case study High-integrity system specification and design Proof in VDM : case studies Formal methods and object technology Systems, models and measures

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

CiNii Research
Search Service
Paper
You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
Check the holdings of this book

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
Title: Formal approaches to computing and information technology (FACIT)
Publication, Distribution, etc.: Springer-Verlag
Place of Publication (Country Code): gw
Target Audience: 一般
Related Material: Formal object-oriented development
https://cir.nii.ac.jp/crid/1130000793882352896
Notations for software design
https://cir.nii.ac.jp/crid/1130000794332121600
A theory and practice of program development
https://cir.nii.ac.jp/crid/1130000794369638016
Formal methods in human-computer interaction
https://cir.nii.ac.jp/crid/1130000794848341248
Specification case studies in RAISE
https://cir.nii.ac.jp/crid/1130000795018080128
Refinement in Z and object-Z : foundations and advanced applications
https://cir.nii.ac.jp/crid/1130000795834382464
Constructing correct software : the basics
https://cir.nii.ac.jp/crid/1130000795851603200
Industrial-strength formal methods in practice
https://cir.nii.ac.jp/crid/1130000796920621312
Proof in VDM : a practitioner's guide
https://cir.nii.ac.jp/crid/1130000797250898048
The B language and method : a guide to practical formal development
https://cir.nii.ac.jp/crid/1130282268935798656
On the refinement calculus
https://cir.nii.ac.jp/crid/1130282268988421760
Program development by refinement : case studies using the B method
https://cir.nii.ac.jp/crid/1130282269041571712
Software specification methods : an overview using a case study
https://cir.nii.ac.jp/crid/1130282271422770944
High-integrity system specification and design
https://cir.nii.ac.jp/crid/1130282272535947776
Proof in VDM : case studies
https://cir.nii.ac.jp/crid/1130282272842800512
Formal methods and object technology
https://cir.nii.ac.jp/crid/1130282273046146432
Systems, models and measures
https://cir.nii.ac.jp/crid/1130282273085019392
Related Material (URI): https://ci.nii.ac.jp/ncid/BA2187111X#entity
Data Provider (Database): 国立情報学研究所 : CiNii Research
Original Data Provider (Database): CiNii Books
https://ci.nii.ac.jp/books
NCID: https://ci.nii.ac.jp/ncid/BA2187111X : BA2187111X