Join Amazon Prime and get unlimited Free One-Day Delivery. Already a member? Sign in.

Quantity:

More Buying Choices

22 used & new from �42.19

Have one to sell? Sell yours here

Formal Techniques for Networked and Distributed Systems: 24th Ifip WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings (Lecture Notes in Computer Science) (Paperback)

by David de Frutos-Escrig (Editor), Manuel Nunez (Editor) "NGSCB ("Next-Generation Secure Computing Base", formerly known as "Palladium") integrates hardware and software components that aim to help in protecting data and processes against software..." (more)

No customer reviews yet. Be the first.

Price:	�57.99 & this item Delivered FREE in the UK with Super Saver Delivery. See details and conditions
	o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o

Usually dispatched within 1 to 3 weeks.
Dispatched from and sold by Amazon.co.uk. Gift-wrap available.

16 new from �42.19 6 used from �42.19

Product details

Paperback: 377 pages
Publisher: Springer (21 Sep 2004)
Language German
ISBN-10: 3540232524
ISBN-13: 978-3540232520
Product Dimensions: 22.4 x 15.5 x 2.3 cm
Average Customer Review: No customer reviews yet. Be the first.

Would you like to update product info or give feedback on images?

Product Description

Product Description
This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2004, held in Madrid, Spain, in September 2004. The 20 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 54 submissions. Among the topics addressed are state-based specification, distributed Java objects, UML and SDL, algorithm verification, communicating automata, design recovery, formal protocol testing, testing and model checking, distributed real-time systems, formal composition, distributed testing, automata for ACTL, symbolic state space representation, pi-calculus, concurrency, Petri nets, routing protocol verification, and intrusion detection.

Inside This Book (Learn More)

First Sentence
NGSCB ("Next-Generation Secure Computing Base", formerly known as "Palladium") integrates hardware and software components that aim to help in protecting data and processes against software attacks [8,9,14,15]. Read the first page

Explore More
Concordance

Tag this product

(What's this?)

Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items.

Customer Reviews

There are no customer reviews yet. Create your own review

Video reviews

New feature! Amazon now allows customers to upload product video reviews. Use a webcam or video camera to record and upload reviews to Amazon.

.jsOffDisplayBlock { display: block; } .jsOffDisplayInline { display: inline; } .jsOffVisibility { visibility: visible; } .jsOnDisplayBlock { display: none; } .jsOnDisplayNoneBlock { display: block; } .jsOnDisplayNoneInline { display: inline; } .jsOnDisplayInline { display: none; } .jsOnVisibility { visibility: hidden; } .jsOnDisplayBlock { display: none; } .jsOnDisplayInline { display: none; } .jsOnVisibility { visibility: hidden; }

Customer Discussions

Beta (What's this?)

This product's forum (0 discussions)

	Discussion	Replies	Latest Post
	No discussions yet

Ask questions, Share opinions, Gain insight

Start a new discussion

Topic:

First post:

Prompts for sign-in

[Cancel]

Guidelines

Look for similar items by category

Books > Computing & Internet > Certification > Publishers > Que
Books > Computing & Internet > Certification > Subjects > Networking
Books > Computing & Internet > Computer Science > Architecture & Microprocessors > Architecture & Logic
Books > Computing & Internet > Networking & Security > Network Topics > Distributed Computing
Books > Computing & Internet > Programming > Algorithms
Books > Computing & Internet > Programming > Software Design, Testing & Engineering > UML
Books > Science & Nature > Mathematics
Books > Science & Nature > Popular Science > Maths
Books > Scientific, Technical & Medical > Mathematics

Feedback

Would you like to update product info or give feedback on images?
I am the Author, and I want to comment on my book.
I am the Publisher, and I want to comment on this book.

The Body Shop

Protect and boost your glow with The Body Shop Vitamin C Skin Boost.

›Shop The Body Shop

Beauty without the Beast

Olay Regenerist Daily 3 Point Treatment Cream

From au naturel to party glam, we have all the best names in cosmetics and skincare.

›Discover Beauty at Amazon.co.uk

We've Got Converse

Stock up on your favourite styles with great deals on Converse shoes.

›Shop Converse

Treat Someone

With an Amazon.co.uk Gift Certificate, you can get them what they want (even if you don't know what that is).

›Learn more about Gift Certificates

Where's My Stuff?

track your recent orders
view or change your orders in Your Account

Delivery and Returns

see our delivery rates and policies
thinking of returning an item? (See our Returns Policy)

Need Help?

Forgot your password?
Buy Gift Certificates.
still have questions? Visit our Help Pages

Your Recent History

(What's this?)

You have no recently viewed items or searches.

After viewing product detail pages or search results, look here to find an easy way to navigate back to pages you are interested in.

Look to the right column to find helpful suggestions for your shopping session.

Continue Shopping: Top Sellers

The Girl Who Played with Fire by Stieg Larsson

4.5 out of 5 stars (76)�3.86

Breaking Dawn (Twilight Saga) by Stephenie Meyer

4.1 out of 5 stars (464)�6.49

The Girl with the Dragon Tattoo by Stieg Larsson

4.1 out of 5 stars (168)�3.99

Eclipse (Twilight Saga) by Stephenie Meyer

4.4 out of 5 stars (220)�3.84


Amazon Home

International Sites: United States \| Germany \| France \| Japan \| Canada \| China

Business Programs: Sell on Amazon \| Fulfilment by Amazon \| Join Associates \| Join Advantage

Customer Service \| Help \| View Basket \| Your Account

About Amazon.co.uk \| Careers at Amazon


Amazon Home

International Sites: United States \| Germany \| France \| Japan \| Canada \| China

Business Programs: Sell on Amazon \| Fulfilment by Amazon \| Join Associates \| Join Advantage

Customer Service \| Help \| View Basket \| Your Account

About Amazon.co.uk \| Careers at Amazon