Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Formal Techniques for Networked and Distributed Systems - FORTE 2003

23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003

Language EnglishEnglish
Book Paperback
Book Formal Techniques for Networked and Distributed Systems - FORTE 2003 Hartmut König
Libristo code: 01558642
Publishers Springer, Berlin, November 2002
This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on F... Full description
? points 136 b
20 460 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Kinderfl chtlinge Petra Dieckhoff / Book Paperback
common.buy 18 050 Ft
La duchesse de Langeais Balzac / Book Paperback
common.buy 3 464 Ft
Coming soon
Základy společenských věd pro SOŠ - Pracovní sešit / Book Paperback
common.buy 4 039 Ft
Initiation à la chiromancie Webster / Book Book
common.buy 6 794 Ft
Ravensburger Kinderpuzzle 12993 - Super Mario Abenteuer 200 Teile XXL - Puzzle für Kinder ab 8 Jahren / Game/Toy Game
common.buy 3 872 Ft
Geschichte der lettischen Geschichtsschreibung. Vom 19. Jahrhundert bis zur Gegenwart Detlef Henning / Book Hardback
common.buy 14 644 Ft
La clé à molette et la pince à vélo Dehondt / Book Paperback
common.buy 8 681 Ft
A Night at the Nordic House (With the Symphony Orc Týr / Audio Audio CD
common.buy 4 595 Ft
Macanudo 3 Ricardo Liniers / Book Paperback
common.buy 3 554 Ft
Sous la neige, précédé de Les Metteurs en scène et Le Bilan WHARTON / Book Paperback
common.buy 8 496 Ft
Ptákovina Milan Kundera / Audio Audio CD
common.buy 3 269 Ft
Die Magd des Gutsherrn Elisabeth Büchle / Book Paperback
common.buy 5 573 Ft
Die 24 Elemente der Magie Danielle Weidig / Book Paperback
common.buy 6 462 Ft
Einbildungskraft als Organon der Ethik: Novalis und Leopardi Karin B. Gilardoni-Büch / Book Hardback
common.buy 17 433 Ft
El cardenal Manning : una biografía intelectual James Pereiro / Book Paperback
common.buy 6 628 Ft
Andorra : 17 excursions a peu MANEL FIGUERA / Book Paperback
common.buy 5 545 Ft
Manuale della guardia del corpo Gérard Desmaretz / Book Paperback
common.buy 11 479 Ft
Konec Jagellonců v Čechách Jiří Tomáš / Book Hardback
common.buy 2 879 Ft
Appendice Au Petit Livre de la Sante Et Du Bien-Etre: Des Diatheses Ou Vices Morbides GAFFARD-A / Book Paperback
common.buy 5 740 Ft
Incorporacion de Las Tic En Las Universidades Autonomas Andrés Y. Martínez Marín / Book Paperback
common.buy 24 512 Ft
Des Lois Des 17-23 Juillet 1856 Sur l'Arbitrage Force Et Les Societes En Commandite Par Actions BEDARRIDE-J / Book Paperback
common.buy 7 232 Ft
Razítka Dinosaurus, felt-tip pens box / Stationery items Stationery items
common.buy 8 044 Ft
presidencialismo de Bolivia previo al socialismo del siglo XXI Carlos Sanchez Berzain / Book Paperback
common.buy 11 736 Ft
Rule of Wolves Michelle Gyo / Book Paperback
common.buy 6 794 Ft

This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2003, held in Berlin, Germany in September/October 2003.§§The 24 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 55 submissions. The papers are organized in topical sections on application of formal description techniques (FDTs), verification, timed automata, verification of security protocols, testing, and FDT-based design.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Formal Techniques for Networked and Distributed Systems - FORTE 2003
Author Hartmut König, Monika Heiner, Adam Wolisz
Language English
Binding Book - Paperback
Date of issue 2003
Number of pages 429
EAN 9783540201755
ISBN 3540201750
Libristo code 01558642
Publishers Springer, Berlin
Weight 626
Dimensions 155 x 235 x 23

Categories

Computing & Information Technology > Computer science > Artificial intelligence > Machine learning
Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Perspective in Nuclear Physics Sun-Chan Jeong / Book Paperback
common.buy 50 807 Ft
How We Lived in Wellborn before Television Glenn D Davis / Book Paperback
common.buy 5 830 Ft
Strictly Come Laughing!: Poetic Pornography and Funny Fantasy Alienora Browning / Book Paperback
common.buy 6 809 Ft
Written World Martin Puchner / Book Paperback
common.buy 6 509 Ft
I Rode with Robespierre and Danced with Danton ROBERT A. NIMMO / Book Paperback
common.buy 9 099 Ft
Early Childhood and Development Work Anne-Trine Kj?rholt / Book Hardback
common.buy 54 589 Ft
Sally's Puppets Go to the Hospital: A Children's Play Gil Rogers / Book Paperback
common.buy 2 998 Ft
Advantages and Surroundings of New Albany David Peter Robbins / Book Paperback
common.buy 5 017 Ft
Redefining English for the More Able Ian (London Gifted & Talented) Warwick / Book Hardback
common.buy 77 552 Ft
An Overview of the History of the Motorcycle in America: A Topical and Social Narrative Mark H Bayer / Book Paperback
common.buy 6 899 Ft
Weather and Climate Inventory National Park Service San Francisco Bay Area Network Christopher a Davey / Book Paperback
common.buy 5 754 Ft
My Birthday Pony Lola May Groves / Book Paperback
common.buy 7 246 Ft
Famous Pianists of Today and Yesterday Henry C. Lahee / Book Paperback
common.buy 9 793 Ft
Eccentric Lives and Peculiar Notions John Michell / Book Paperback
common.buy 5 697 Ft
Canton Gay Morgan Moore / Book Paperback
common.buy 7 863 Ft
Philosophy Reformed And Improved: In Four Profound Tractates (1657) Oswald Croll / Book Paperback
common.buy 12 430 Ft
Must-Read Classics: A Book Club Journal for Bibliophiles Union Square & Co. / Book Hardback
common.buy 5 740 Ft
Trifolium Historicum: Seu Dissertatio Historico-chronologico-critica De Tribus Potentissimis Daniae Regibus Gormo Grandaevo, Haraldo Caeruli Thormodus Torfaeus / Book Hardback
common.buy 12 430 Ft
MAKING OF ANOTHER MAJOR MOTION PICTURE M HANKS TOM / Book Paperback
common.buy 6 343 Ft
Where Do We Go from Here? Victoria Adams / E-book Adobe ePub DRM
common.buy 7 170 Ft
Top
Black Bird: One Man's Freedom Hides in Another Man's Darkness Hillel Levin / Book Paperback
common.buy 5 740 Ft
Bulletin, Summer School Issue; LII Appalachian State Teachers College (N / Book Paperback
common.buy 6 495 Ft
Ball RedBook 2-Volume Set Bill Calkins / Book Hardback
common.buy 56 532 Ft
Theory of the Solitary Sailor Grelet / Book Paperback
common.buy 5 559 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?