Name: Model-Checking Infinite State Systems for Information Flow Security
SKU: 46678140
Price: 77.08 EUR
Availability: InStock
Author: K. R. Raghavendra

Select your country

Americas

Argentina
Brazil
Canada
Chile
Colombia
Costa Rica
Dominican Republic
Ecuador
El Salvador
Mexico
Peru
U.S.A.
Spanish English
Uruguay

Europe

Austria
Belgium
Croatia
Czech Republic
Denmark
Finland
France
English French
Germany
Greece
Hungary
Ireland
Italy
Latvia
Malta
Netherlands
Norway
Poland
Portugal
Serbia
Slovakia
Slovenia
Spain
Sweden
Switzerland
United Kingdom

Rest of the world

Australia
China
Egypt
Hong Kong
India
Indonesia
Israel
Japan
Malaysia
New Zealand
Nigeria
Other Countries
Spanish English
Philippines
Saudi Arabia
Singapore
South Africa
South Korea
Taiwan
Thailand
United Arab Emirates
Vietnam

portada Model-Checking Infinite State Systems for Information Flow Security

Model-Checking Infinite State Systems for Information Flow Security

Type

Physical Book

Publisher

LAP Lambert Academic Publishing

Author

K. R. Raghavendra

Format

Paperback

ISBN13

9783659301315

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

What is the format of this book?

The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery