pickabook books with huge discounts for everyone
pickabook books with huge discounts for everyone
Visit our new collection website www.collectionsforschool.co.uk
     
Email: Subscribe to news & offers:
Need assistance? Log In/Register


Item Details
Title: SERVICES AND VISUALIZATION, TOWARDS USER-FRIENDLY DESIGN
ACOS'98, VISUAL'98, AIN'97, SELECTED PAPERS
By: Tiziana Margaria (Editor), Bernhard Steffen (Editor), Roland Ruckert (Editor)
Format: Paperback

List price: £62.99


We currently do not stock this item, please contact the publisher directly for further information.

ISBN 10: 3540643672
ISBN 13: 9783540643678
Publisher: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Pub. date: 18 March, 1998
Edition: 1998 ed.
Series: Lecture Notes in Computer Science v.1385
Pages: 332
Description: Taken from three international workshops on advanced communications services (ACoS'98), visualization issues for formal methods (VISUAL'98), and advanced intelligent networks (AIN'97), this volume includes discussion of telecommunication services, multimedia networking and user interfaces.
Synopsis: This book comprises a strictly refereed selection of papers presented at three international workshops on advanced communication services (ACoS'98), visualization issues for formal methods (VISUAL'98), and advanced intelligent networks (AIN'97). The 20 revised full papers included in the book together with three invited presentations are centered around the user-friendly design of software systems and services, in particular telecommunication and Internet services, and visualization support for the design and administration of such systems. Among the topics addressed are telecommunication services, multimedia networking, user interfaces, intelligent networking protocols, formal specification and verification, visual formalisms, mobile computing, intelligent agents, and Java.
Illustrations: biography
Publication: Germany
Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Returns: Returnable
Some other items by this author:
CORRECT HARDWARE DESIGN AND VERIFICATION METHODS (PB)
CORRECT SYSTEM DESIGN (PB)
FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS
FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS
FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS
FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS
FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS (PB)
GRUNDLAGEN DER HOHEREN INFORMATIK (HB)
KARTEN VON MYKENAI
KARTEN VON MYKENAI
LEVERAGING APPLICATIONS OF FORMAL METHODS (PB)
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION (PB)
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION (PB)
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION (PB)
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. SPECIALIZED TECHNIQUES AND APPLICATIONS (PB)
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. TECHNOLOGIES FOR MASTERING CHANGE (PB)
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: DISCUSSION, DISSEMINATION, APPLICATIONS (PB)
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: FOUNDATIONAL TECHNIQUES (PB)
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION (PB)
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION (PB)
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION (PB)
PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SECURITY AND MANAGEMENT (SAM 16) (PB)
PROCESS DESIGN FOR NATURAL SCIENTISTS (PB)
SEMANTIC WEB SERVICES CHALLENGE (HB)
SEMANTIC WEB SERVICES CHALLENGE (PB)
SERVICE-ORIENTED COMPUTING - ICSOC 2008 (PB)
SOFSEM 2017: THEORY AND PRACTICE OF COMPUTER SCIENCE (PB)
SOFTWARE BUSINESS. FROM PHYSICAL PRODUCTS TO SOFTWARE SERVICES AND SOLUTIONS (PB)
SOFTWARE PROCESS IMPROVEMENT (PB)
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (HB)
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (PB)
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (PB)
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (PB)
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (PB)
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (PB)
TRANSACTIONS ON FOUNDATIONS FOR MASTERING CHANGE I (PB)
VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION (PB)

TOP SELLERS IN THIS CATEGORY
Cybersecurity For Dummies (Paperback / softback)
John Wiley & Sons Inc
Our Price : £16.78
more details
Liars and Outliers (Paperback / softback)
John Wiley & Sons Inc
Our Price : £12.40
more details
Salesforce Certified Administrators Study Guide (Paperback / softback)
O''Reilly Media
Our Price : £32.84
more details
Data Driven Security (Paperback)
John Wiley & Sons Inc
Our Price : £34.19
more details
Security Engineering (Hardback)
John Wiley & Sons Inc
Our Price : £42.16
more details
BROWSE FOR BOOKS IN RELATED CATEGORIES
 COMPUTING AND INFORMATION TECHNOLOGY
 computer communications & networking


Information provided by www.pickabook.co.uk
SHOPPING BASKET
  
Your basket is empty
  Total Items: 0
 

NEW
World’s Worst Superheroes GET READY FOR SOME SUPERSIZED FUN!
add to basket





New
No Cheese, Please! A fun picture book for children with food allergies - full of friendship and super-cute characters!Little Mo the mouse is having a birthday party.
add to basket

New
My Brother Is a Superhero Luke is massively annoyed about this, but when Zack is kidnapped by his arch-nemesis, Luke and his friends have only five days to find him and save the world...
add to basket


Picture Book
Animal Actions: Snap Like a Crab
By:
The first title in a new preschool series from Guilherme Karsten.
add to basket