25 Books to Read Before You Die
 
 

Recently Viewed clear list


Original Essays | August 20, 2014

Julie Schumacher: IMG Dear Professor Fitger



Saint Paul, August 2014 Dear Professor Fitger, I've been asked to say a few words about you for Powells.com. Having dreamed you up with a ball-point... Continue »
  1. $16.07 Sale Hardcover add to wish list

    Dear Committee Members

    Julie Schumacher 9780385538138

spacer
Qualifying orders ship free.
$108.50
New Trade Paper
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
25 Remote Warehouse Internet- Information

Other titles in the Lecture Notes in Computer Science / Programming and Software series:

Lecture Notes in Computer Science / Programming and Software #5387: Web Services and Formal Methods: 5th International Workshop, Ws-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings

by

Lecture Notes in Computer Science / Programming and Software #5387: Web Services and Formal Methods: 5th International Workshop, Ws-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings Cover

 

Synopses & Reviews

Publisher Comments:

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Web Services and Formal Methods, WS-FM 2008, held in Milan, Italy, in September 2008 in conjunction with the 6th International Conference on Business Process Management, BPM 2008. The 13 revised full papers presented together with one invited paper were carefully reviewed and selected from 39 submissions. The papers feature topics such as analysis, test, and verification; choreographies and process calculi; transactions and interoperability; workflows and petri nets.

Product Details

ISBN:
9783642013638
Author:
Bruni, Roberto
Publisher:
Springer
Author:
Wolf, Karsten
Subject:
Information technology
Subject:
Networking - General
Subject:
Software Development & Engineering - Systems
Subject:
Internet-Information
Subject:
contract complience
Subject:
event calculus
Subject:
Message queues
Subject:
model checking
Subject:
Model-Based Testing
Subject:
open nets
Subject:
Proof techniques
Subject:
security types
Subject:
semantic e-services
Subject:
time-constrained workflows
Subject:
Web services
Subject:
workflow interoperability
Subject:
WS-BPEL
Subject:
Information Systems Applications (incl.Internet)
Subject:
Software engineering
Subject:
Computer Communication Networks
Subject:
Logics and Meanings of Programs
Subject:
System Performance and Evaluation
Subject:
Models and Principles
Edition Description:
Book
Series:
Lecture Notes in Computer Science / Programming and Software Engineering
Series Volume:
5387
Publication Date:
20090531
Binding:
TRADE PAPER
Language:
English
Pages:
253
Dimensions:
235 x 155 mm

Related Subjects

Computers and Internet » Artificial Intelligence » Fuzzy Logic
Computers and Internet » Internet » Information
Computers and Internet » Networking » General
Computers and Internet » Software Engineering » Systems Analysis and Design

Lecture Notes in Computer Science / Programming and Software #5387: Web Services and Formal Methods: 5th International Workshop, Ws-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings New Trade Paper
0 stars - 0 reviews
$108.50 In Stock
Product details 253 pages Springer - English 9783642013638 Reviews:
spacer
spacer
  • back to top
Follow us on...




Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.