The Object-Z Specification Language (Advances in Formal Methods, 1)

¥28590

(税込) 送料込み

10
コメント

商品の説明

商品説明

商品名 The Object-Z Specification Language (Advances in Formal Methods, 1)
ブランド名 Springer
商品コメント

  • 商品カテゴリ

      • KANADEREAカナデリア
      • ファッション
      • ファッション
      • 腕時計、アクセサリー
      • レディースアクセサリー
      • ネックレス、ペンダント
  • JANコード/ISBNコード

    9780792386841

  • 商品コード

    YS0000046039613169

28590円The Object-Z Specification Language (Advances in Formal Methods, 1)ファッション腕時計、アクセサリーThe Z Specification Language - ppt video online download
The Object-Z Specification Language | SpringerLink

The Object-Z Specification Language | SpringerLink


The Object-Z Specification Language: 1 (Advances in Formal Methods)

The Object-Z Specification Language: 1 (Advances in Formal Methods)


The Object-Z Specification Language: 1 (Advances in Formal Methods)

The Object-Z Specification Language: 1 (Advances in Formal Methods)


The Object-Z Specification Language | SpringerLink

The Object-Z Specification Language | SpringerLink


PDF) Formal Specification and Documentation using Z: A Case Study

PDF) Formal Specification and Documentation using Z: A Case Study


Formal Methods in Requirements Phase of SDLC | Semantic Scholar

Formal Methods in Requirements Phase of SDLC | Semantic Scholar


PDF) Specification of e-Health system using Z: A motivation to

PDF) Specification of e-Health system using Z: A motivation to


Formal Specification in Software Engineering SE9 | PPT

Formal Specification in Software Engineering SE9 | PPT


The Z Specification Language - ppt video online download

The Z Specification Language - ppt video online download


PDF) THE FORMAL SPECIFICATION FOR THE INVENTORY SYSTEM USING Z

PDF) THE FORMAL SPECIFICATION FOR THE INVENTORY SYSTEM USING Z


Formal Methods in Requirements Phase of SDLC | Semantic Scholar

Formal Methods in Requirements Phase of SDLC | Semantic Scholar


Formal Specification in Software Engineering SE9 | PPT

Formal Specification in Software Engineering SE9 | PPT


The Object-Z Specification Language | SpringerLink

The Object-Z Specification Language | SpringerLink


The Way of Z

The Way of Z


tikz pgf - Object-Z state schema notation - TeX - LaTeX Stack Exchange

tikz pgf - Object-Z state schema notation - TeX - LaTeX Stack Exchange


Electronics | Free Full-Text | Formal Analysis and Verification of

Electronics | Free Full-Text | Formal Analysis and Verification of


PDF) Glossary of Z Notation | Jonathan Bowen - Academia.edu

PDF) Glossary of Z Notation | Jonathan Bowen - Academia.edu


Formal Methods lecture 01 | PPT

Formal Methods lecture 01 | PPT


The Z Specification Language - ppt video online download

The Z Specification Language - ppt video online download


The Object-Z Specification Language

The Object-Z Specification Language


Mobile agent‐based regression test case generation using model and

Mobile agent‐based regression test case generation using model and


PDF) Formal Methods:Techniques and Languages For Software Development

PDF) Formal Methods:Techniques and Languages For Software Development


Applied Sciences | Free Full-Text | Computer-Aided Formalization

Applied Sciences | Free Full-Text | Computer-Aided Formalization


The Object-Z Specification Language | SpringerLink

The Object-Z Specification Language | SpringerLink


ACM: Digital Library: Communications of the ACM

ACM: Digital Library: Communications of the ACM


LR(K) Parser Construction Using Bottom-up Formal Analysis

LR(K) Parser Construction Using Bottom-up Formal Analysis


Using Z

Using Z


SciELO - Brasil - Integrating Object-Oriented Analysis and Formal

SciELO - Brasil - Integrating Object-Oriented Analysis and Formal


Z notation | Formal Methods Wiki | Fandom

Z notation | Formal Methods Wiki | Fandom


The Z Specification Language - ppt video online download

The Z Specification Language - ppt video online download


Programming language - Wikipedia

Programming language - Wikipedia


Formal Specification in Software Engineering SE9 | PPT

Formal Specification in Software Engineering SE9 | PPT


PDF) MODEL TO SPECIFY REAL TIME SYSTEM USING Z AND ALLOY LANGUAGES

PDF) MODEL TO SPECIFY REAL TIME SYSTEM USING Z AND ALLOY LANGUAGES


The Object-Z Specification Language | SpringerLink

The Object-Z Specification Language | SpringerLink


Software | Free Full-Text | Empirical Formal Methods: Guidelines

Software | Free Full-Text | Empirical Formal Methods: Guidelines


Z Formal Specification Language - An Overview

Z Formal Specification Language - An Overview


the question is about Z Specifications in the subject | Chegg.com

the question is about Z Specifications in the subject | Chegg.com


PPT - Software system modeling PowerPoint Presentation, free

PPT - Software system modeling PowerPoint Presentation, free


PDF) Formal methods in software development: A road less travelled

PDF) Formal methods in software development: A road less travelled


Packet processing and data plane program verification: A survey

Packet processing and data plane program verification: A survey





もっと見る

商品の情報

配送料の負担
送料込み(出品者負担)
配送の方法
ゆうゆうメルカリ便
郵便局/コンビニ受取匿名配送
発送元の地域
宮城県
発送までの日数
1~2日で発送

メルカリ安心への取り組み

お金は事務局に支払われ、評価後に振り込まれます

出品者

スピード発送

この出品者は平均24時間以内に発送しています

The Object-Z Specification Language (Advances in Formal Methods, 1)

この商品を見ている人におすすめ