Office Hours - Monday to Saturday 9 am to 7 pm.

Formal System Verification

Formal System Verification

0 customer ratings, click here to login to do the ratings.

by Rolf Drechsler
Price : LKR 21,958.17

Book Details
ISBN9783319576831
AuthorRolf Drechsler
PublisherSPRINGER
Year2018
Edition1
Category Information Technology

Book Description

Books Related to This Book

Quasiconformal Mappings and their Applications
Quasiconformal Mappings and their Applications

LKR 1,925.00

An Introduction To Formal Languages And Automata
An Introduction To Formal Languages And Automata

LKR 1,584.00

Worker Identity Agency and Economic Development : Womens Empowerment in the Indian informal Economy
Worker Identity Agency and Economic Development : Womens Empowerment in the Indian informal Economy

LKR 20,400.00

Entrepreneurship in the Informal Economy: Models, Approaches and Prospects for Economic Development
Entrepreneurship in the Informal Economy: Models, Approaches and Prospects for Economic Development

LKR 28,800.00

Entrepreneurship in the Informal Economy: Models Approaches and Prospects for Economic Development
Entrepreneurship in the Informal Economy: Models Approaches and Prospects for Economic Development

LKR 39,400.00

An Introduction to Formal Languages and Automata
An Introduction to Formal Languages and Automata

LKR 1,032.50

An Introduction to Formal Languages and Automata
An Introduction to Formal Languages and Automata

LKR 2,205.00

Laboratory Reagents Formaldehyde Solution 250ml
Laboratory Reagents Formaldehyde Solution 250ml

LKR 405.00

Informal Economy Centerstage
Informal Economy Centerstage

LKR 2,025.00

Software Engineering and Formal Methods
Software Engineering and Formal Methods

LKR 16,109.00

Formal Groups and Applications
Formal Groups and Applications

LKR 5,250.00

An Introduction To Automata Theory & Formal Languages
An Introduction To Automata Theory & Formal Languages

LKR 1,200.00

Adult and Formal Education
Adult and Formal Education

LKR 3,062.50

Logic Informal Symbolic & Inductive
Logic Informal Symbolic & Inductive

LKR 1,382.50

Quasiconformal Mapping and Their Applications
Quasiconformal Mapping and Their Applications

LKR 1,925.00