Decidability of Parameterized Verification. Igor Konnov и др.

Рады Вам также предложить

• 

  Текст
  Parameterized Test A Complete Guide - 2020 Edition

  Gerardus Blokdyk

  Ingram
  5845.60 р.
• 

  Текст
  Parameterized Testing A Complete Guide - 2020 Edition

  Gerardus Blokdyk

  Ingram
  5845.60 р.
• 

  Текст PDF
  Forecast Verification

  David Stephenson B. и др.

  John Wiley & Sons Limited
  15853.52 р.
• 

  Текст PDF
  Digital System Verification

  Lun Li и др.

  Ingram
  2657.44 р.
• 

  Текст PDF
  An Introduction to Verification of Visualization Techniques

  Tiago Etiene и др.

  Ingram
  2125.95 р.
• 

  Текст PDF
  Information Verification in the Digital Age

  Nora Martin

  Ingram
  1518.54 р.
• 

  Текст PDF
  Modeling and Verification of Real-time Systems

  Nicolas Navet и др.

  John Wiley & Sons Limited
  22322.48 р.
• 

  Текст PDF
  Verification, Validation, and Testing of Engineered Systems

  Avner Engel

  John Wiley & Sons Limited
  16582.41 р.
• 

  Текст PDF
  Verification of Communication Protocols in Web Services

  Kazi Sakib и др.

  John Wiley & Sons Limited
  12430.28 р.
• 

  Текст PDF
  Analytical Method Validation and Instrument Performance Verification

  Herman Lam и др.

  John Wiley & Sons Limited
  14122.38 р.
• 

  Текст PDF
  Shipboard Power Systems Design and Verification Fundamentals

  Mohammed Islam M.

  John Wiley & Sons Limited
  11389.02 р.
• 

  Текст PDF
  Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS

  Michael Yoeli и др.

  John Wiley & Sons Limited
  12209.03 р.
• 

  Текст PDF
  Introduction to Finite Element Analysis. Formulation, Verification and Validation

  Szab? Barna и др.

  John Wiley & Sons Limited
  11206.80 р.
• 

  Текст PDF
  Verification and Validation for Quality of UML 2.0 Models

  Группа авторов

  John Wiley & Sons Limited
  11662.36 р.
• 

  Текст PDF
  Industrial Use of Formal Methods. Formal Verification

  Jean-Louis Boulanger

  John Wiley & Sons Limited
  14573.39 р.