Pocket • 2004 • Norsk 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

Name: Formal techniques for networked and distributed systems - FORTE 2004 : 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27-30, 2004
SKU: 9783540232520
Availability: OutOfStock
ISBN: 9783540232520

0 vurderinger • 0.0 av 5

‌
‌

‌

‌
‌

‌

‌
‌
‌
‌
‌
‌
‌
‌

‌

Om boken

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...Vis mer

Om boken

ISBN

9783540232520

Forlag

Berlin : Springer

Publiseringsår

2004

Språk

Norsk Bokmål

Originaltittel

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

Format

Pocket

Frakt og retur

Frakt

Brukte bøker sendes av selgeren. Forventet leveringstid etter pakken er sendt er 2-4 dager.

Returer

Kontakt selgeren etter levering.

Omtaler · 0

0 vurderinger • 0.0 av 5

Du vil kanskje også like

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

Datacommunications and Networking

Behrouz A.

ITIL 4 Exam Prep Questions, Answers & Explanations

Christopher Scordo

Information Technology Control and Audit, Fifth Edition

Angel R. Otero

Networking Fundamentals

Gordon Davies

Introduction to Computational Economics Using Fortran

University of Wuerzburg) Fehr Hans (Professor of Economics

It Infrastructure Architecture - Infrastructure Building Blocks and Concepts Third Edition

Sjaak Laan

International Financial Management

Jeff (Florida Atlantic University) Madura

Information and Communication Technologies in Tourism 2016

Alessandro (EDT) Inversini

Theory/Theatre

Canada) Fortier Mark (University of Guelph

THEORY BOOK IT INTRO

Alf Inge

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

Ian Chivers

Network Security Essentials

William stallings

Fluency With Information Technology: Global Edition

Lawrence Snyder

Computer Networks

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

Distributed Systems - Concepts and Design fif…

George Coulouris

Introduction to computer security

Michael T.

Digital Fundamentals : International Edition

Thomas L. Floyd

Formulas in mechanics

Fridtjov Irgens

Foundations of Software Testing Fundamental Algorithms and Techniques

Aditya Mathur

Beards Massage

Giovanni De

Technologies and Systems for Access and Transport Networks

Jan A. Audestad

Data and computer communications

William stallings

Microsoft Solutions Framework Essentials

Michael S.V. Turner

Experimental formats 2 : books, brochures, catalogs

Roger Fawcett-Tang

Computer Networking

Keith W. Ross

Project Management and Project Network Techniques

Lockyer, Keith; Gordon, Prof James

802.11 Wireless networks: The definitive guide

Matthew S.

Computer Networking A Top-down Approach Featuring the Internet

James F. Kurose

Theory/theatre : an introduction

Mark Fortier

Microsoft Internet information services 5.0

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

The Formation of Inter-Organizational Networks

Mark Ebers

Pattern Languages of Program Design 4 (Software Patterns Series)

Foote, Brian

JavaSpaces Principles, Patterns, and Practice

Eric Freeman

Formal Description Techniques

K.J. Turner

Computers and Information Systems

Timothy J. O'Leary