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

CALL NOW - 011 2 787 140 WhatsApp/Viber - 0775308708
0 Item(s)
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

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

LKR 2,205.00

Informal Economy Centerstage
Informal Economy Centerstage

LKR 2,025.00

Logic Informal Symbolic & Inductive
Logic Informal Symbolic & Inductive

LKR 1,382.50

Formal System Verification
Formal System Verification

LKR 21,958.17

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

Using Network and Mobile Technology to Bridge Formal and Informal Learning
Using Network and Mobile Technology to Bridge Formal and Informal Learning

LKR 16,458.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

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

LKR 1,032.50

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

LKR 1,200.00

Formal Groups and Applications
Formal Groups and Applications

LKR 5,250.00

Software Engineering and Formal Methods
Software Engineering and Formal Methods

LKR 16,109.00

Students With Interrupted Formal Education: Bridging Where They Are and What They Need
Students With Interrupted Formal Education: Bridging Where They Are and What They Need

LKR 7,650.00

Quasiconformal Mapping and Their Applications
Quasiconformal Mapping 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

Quasiconformal Mappings and their Applications
Quasiconformal Mappings and their Applications

LKR 1,925.00