Formal Methods. An Appetizer

Main
Computers - Computer Science
Formal Methods. An Appetizer

Formal Methods. An Appetizer

Flemming Nielson, Hanne Riis Nielson

0 / 5.0

Wie gefällt Ihnen dieses Buch?

Wie ist die Qualität der Datei?

Herunterladen Sie das Buch, um Ihre Qualität zu bewerten

Wie ist die Qualität der heruntergeladenen Dateien?

Kategorien:

Computers - Computer Science

Jahr:

2019

Verlag:

Springer

Sprache:

english

Seiten:

170

ISBN 10:

3030051552

ISBN 13:

9783030051556

Datei:

PDF, 2.21 MB

IPFS:

,

english, 2019

Dieses Buch ist für das Herunterladen wegen der Beschwerde des Urheberrechtsinhabers nicht verfügbar

Beware of he who would deny you access to information, for in his heart he dreams himself your master

— Pravin Lal

Es kann für Sie interessant sein

Jean-Raymond Abrial — Modeling in Event-B: System and Software Engineering

William K. Lam — Hardware Design Verification: Simulation and Formal Method-Based Approaches

John Wordsworth — Software Development With Z: A Practical Approach to Formal Methods in Software Engineering

Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen — Principles of Model Checking

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled — Model checking

Jiacun Wang, William Tepfenhart — Formal Methods in Computer Science (Textbooks in Mathematics)

Michael Fisher — An Introduction to Practical Formal Methods Using Temporal Logic

[意]Stefania Gnesi, Tiziana Margaria 著. 靳添絮连晓峰等译 — 工业关键系统的形式化方法：应用综述

Jeffrey Shallit — A second course in formal languages and automata theory

Mor Harchol-Balter — Performance modeling and design of computer systems : queueing theory in action

Jean-Louis Boulanger — Formal Methods Applied to Complex Systems

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog — Verification of sequential and concurrent programs

Flemming Nielson, Hanne Riis Nielson — Formal Methods. An Appetizer

Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh — Formal Methods for Software Engineering: Languages, Methods, Application Domains

Einar Broch Johnsen, Ina Schaefer — Software Engineering and Formal Methods

Evert W. Beth — Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logiс

https://positron0802.wordpress.com/ — Solutions to Chapter 2 - Topological Spaces and Continuous Functions by James Munkres

Rattapon Limprasittiporn — O-NET (มี.ค. 61)

Зименко В. А., Гришина В. В., Зенин А. А., Капранов А. П., Синицын И. Е., Ципоркова К. А., Шматков В. Д. — Линейная алгебра и аналитическая геометрия: Учебное пособие

Рацеев С. М. — Элементы высшей алгебры и теории кодирования

Alexey L. Gorodentsev — Some geometric faces of algebra and algebraic faces of geometry [Lecture notes]

Алексей Городенцев — Геометрическое введение в алгебраическую геометрию [Lecture notes]

莱昂哈德欧拉 — 无穷分析引论

佚名 — 行列式入门

Wolfgang Kainz & Huayi Wu — Mathematical foundation of GIS

Городенцев А.Л — Геометрическое введение в алгебраическую геометрию

Gorodentsev A.L — Some geometric faces of algebra and algebraic faces of geometry

Коллектив — Международная Жаутыковская олимпиада. Математика, 2005-2018

Zoltán Ésik, Werner Kuich — Modern Automata Theory

Коллектив авторов — Высшая математика. Элементы алгебры и геометрии : учеб. пособие. Ч. 1

Катанаев М.О. — Геометрические методы в математической физике

Steve Warner — Pure Mathematics for Beginners - Solution Guide

ნიკოლოზ კაჭახიძე — ზოგადი ალგებრის საწყისები

Bernhard Grotz — Grundwissen Mathematik

Adrian P. Sutton — Physics of Elasticity and Crystal Defects

Steve Warner — Pure Mathematics for Beginners: A Rigorous Introduction to Logic, Set Theory, Abstract Algebra, Number Theory, Real Analysis, Topology, Complex Analysis, and Linear Algebra

Bernhard von Stengel — Game Theory Basics

Masayuki Kawakita — Complex Algebraic Threefolds (Cambridge Studies in Advanced Mathematics, Series Number 209)

Andries E. Brouwer, H. Van Maldeghem — Strongly Regular Graphs

Jerome K. Percus, Stephen Childress — Mathematical Models in Developmental Biology

Matt DeVos, Deborah A. Kent — Game Theory. A playful Introduction

Owen Byer; Deirdre L. Smeltzer; Kenneth L. Wantz — Journey Into Discrete Mathematics

Am meisten angefragte Begriffe

Verbundene Bücherlisten