The social marketplace for new and used books.

Get started

Learn to sell
Learn to buy
Buy textbooks
Sign up
Buy a giftcard
For the authors

Support

Help
Track a shipment
Terms of use
Privacy policy
Cookies policy

Company

About us
Work with us
Give feedback
Categories

Contact us

Fast delivery with

Safe payments by

Visa
Mastercard
Vipps
Klarna

© 2026 Bookis AS

English

Norway

Region is based on IP address

Formal techniques for networked and distributed systems - FORTE 2004 : 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27-30, 2004 : proceedings

Paperback • 2004 • Norwegian Bokmål

Formal techniques for networked and distributed systems - FORTE 2004 : 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27-30, 2004 : proceedings

0 Ratings • 0.0 of 5

‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌

About the book

This volume contains the proceedings of the 24th IFIP TC 6/WG 6.1 Inter- tionalConference onFormalTechniquesfor Networkedand Distributed Systems (FORTE 2004),held in Madrid, Spain, September 27-30,2004.FORTE denotes a series of international working conferences on formal description techniques applied to computer networks and distributed systems. The conference series started in 1981 under the name PSTV. In 1988 a second series under the name FORTE was set up. Both series were united to FORTE/PS...Show more

Book details

ISBN

9783540232520

Publisher

Berlin : Springer

Published year

2004

Language

Norwegian Bokmål

Original title

Formal techniques for networked and distributed systems - FORTE 2004 : 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27-30, 2004 : proceedings

Format

Paperback

Shippping and returns

Shipping

Used books are shipped by the seller. Expected delivery after package is sent is 2-4 days.

Returns

Contact the seller after delivery.

Reviews · 0

0 Ratings • 0.0 of 5

You might also like

The It4it(tm) Standard, Version 3.0 A Reference Architecture for Managing Digital

The It4it(tm) Standard, Version 3.0 A Reference Architecture for Managing Digital

Datacommunications and Networking

Datacommunications and Networking

Behrouz A.

ITIL 4 Exam Prep Questions, Answers & Explanations

ITIL 4 Exam Prep Questions, Answers & Explanations

Christopher Scordo

Information Technology Control and Audit, Fifth Edition

Information Technology Control and Audit, Fifth Edition

Angel R. Otero

Networking Fundamentals

Networking Fundamentals

Gordon Davies

Introduction to Computational Economics Using Fortran

Introduction to Computational Economics Using Fortran

University of Wuerzburg) Fehr Hans (Professor of Economics

It Infrastructure Architecture - Infrastructure Building Blocks and Concepts Third Edition

It Infrastructure Architecture - Infrastructure Building Blocks and Concepts Third Edition

Sjaak Laan

International Financial Management

International Financial Management

Jeff (Florida Atlantic University) Madura

Information and Communication Technologies in Tourism 2016

Information and Communication Technologies in Tourism 2016

Alessandro (EDT) Inversini

Theory/Theatre

Theory/Theatre

Canada) Fortier Mark (University of Guelph

THEORY BOOK IT INTRO

THEORY BOOK IT INTRO

Alf Inge

Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77

Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77

Ian Chivers

Network Security Essentials

Network Security Essentials

William stallings

Fluency With Information Technology: Global Edition

Fluency With Information Technology: Global Edition

Lawrence Snyder

Computer Networks

Computer Networks

Revd Frank Joseph Andrews D.D. B.Ed (Hons)

Distributed Systems - Concepts and Design fif…

Distributed Systems - Concepts and Design fif…

George Coulouris

Introduction to computer security

Introduction to computer security

Michael T.

Digital Fundamentals : International Edition

Digital Fundamentals : International Edition

Thomas L. Floyd

Formulas in mechanics

Formulas in mechanics

Fridtjov Irgens

Foundations of Software Testing Fundamental Algorithms and Techniques

Foundations of Software Testing Fundamental Algorithms and Techniques

Aditya Mathur

Beards Massage

Beards Massage

Giovanni De

Technologies and Systems for Access and Transport Networks

Technologies and Systems for Access and Transport Networks

Jan A. Audestad

Data and computer communications

Data and computer communications

William stallings

Microsoft Solutions Framework Essentials

Microsoft Solutions Framework Essentials

Michael S.V. Turner

Experimental formats 2 : books, brochures, catalogs

Experimental formats 2 : books, brochures, catalogs

Roger Fawcett-Tang

Computer Networking

Computer Networking

Keith W. Ross

Project Management and Project Network Techniques

Project Management and Project Network Techniques

Lockyer, Keith; Gordon, Prof James

802.11 Wireless networks: The definitive guide

802.11 Wireless networks: The definitive guide

Matthew S.

Computer Networking A Top-down Approach Featuring the Internet

Computer Networking A Top-down Approach Featuring the Internet

James F. Kurose

Theory/theatre : an introduction

Theory/theatre : an introduction

Mark Fortier

Microsoft Internet information services 5.0

Microsoft Internet information services 5.0

Cryptographic hardware and embedded systems : CHES 2000 : second international workshop, Worcester, MA, USA, August 17-18, 2000 : proceedings

Cryptographic hardware and embedded systems : CHES 2000 : second international workshop, Worcester, MA, USA, August 17-18, 2000 : proceedings

The Formation of Inter-Organizational Networks

The Formation of Inter-Organizational Networks

Mark Ebers

Pattern Languages of Program Design 4 (Software Patterns Series)

Pattern Languages of Program Design 4 (Software Patterns Series)

Foote, Brian

JavaSpaces Principles, Patterns, and Practice

JavaSpaces Principles, Patterns, and Practice

Eric Freeman

Formal Description Techniques

Formal Description Techniques

K.J. Turner

Computers and Information Systems

Computers and Information Systems

Timothy J. O'Leary