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
Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €
phone Contact phoneHow to shop

Foundations of Software Science and Computation Structures

Second International Conference, FOSSACS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Nederlands, March 22-28, 1999. Proceedings.

Language EnglishEnglish
Book Paperback
Book Foundations of Software Science and Computation Structures Wolfgang Thomas
Libristo code: 05274925
Publishers Springer, Berlin, November 1998
The International Conference Foundations of Software Science and Compu- tion Structures (FOSSACS) is... Full description
? points 125 b
51.09 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

Memoires Secrets Et Critiques Cours, Gouvernemens, Et Moeurs Des Principaux Etats de l'Italie T1 Giuseppe Gorani / Book Paperback
common.buy 25.99 €
Sistema institucional y normativo del empleo ALVARELLOS GALVE / Book Paperback
common.buy 13.19 €
190 experiencias de ciencias para la enseñanaza secundaria Ramírez / Book Paperback
common.buy 18.19 €
Getting up : el grafiti metropolitano en Nueva York = Hacerse ver Craig Castleman / Book Paperback
common.buy 20.69 €
Flie vorg nge in Der Spinnd se Und Dem Blaukonus Des Cuoxam-Verfahrens Wilhelm Kast / Book Paperback
common.buy 54.99 €
Habita Tu Cuerpo Judith Blackstone / Book Paperback
common.buy 13.19 €
Zergliederungen - Anatomie und Wahrnehmung in der Frühen Neuzeit Albert Schirrmeister / Book Paperback
common.buy 32.00 €
Bagatelles Coloma / Book Paperback
common.buy 25.89 €
Coming soon
Der Systemtest Manfred Baumgartner / Book Hardback
common.buy 69.99 €
Blue Spring Ride 2in1 06 + Box Alexandra Keerl / Book Paperback
common.buy 24.00 €
Wilsberg Monika Abspacher / Video DVD
common.buy 15.89 €
Don Pedro Girón, duque de Osuna Luis María Linde de Castro / Book Paperback
common.buy 37.89 €
Affordable
Nemoćna Lauren Roberts / Book Paperback
common.buy 17.89 €
ALBERTINA THE HISTORY OF THE COLLECTION AND ITS MASTERPIECES Book Paperback
common.buy 75.89 €
Le Barbier De Pezenas (1877) Emile Blemont / Book Paperback
common.buy 25.89 €
Geschichte des Kirchenstaates im 16. und 17. Jahrhundert Moritz Brosch / Book Hardback
common.buy 117.90 €
Digitales Marketing und Social Media am Beispiel der ERGO Direkt Dominik Badarne / Book Paperback
common.buy 18.95 €
EL SECRETO DE LAS PRINCESAS TEA STILTON / Book Hardback
common.buy 15.39 €
Sintez Regulyatorov Dlya Sistem Avtomatiki Anatoliy Vostrikov / Book Paperback
common.buy 34.39 €
Anforderungen an ein regionales Controlling Mirko Hinrichs / Book Paperback
common.buy 59.00 €
JAZZ METHOD FOR SAXOPHONE BAND 1 John O'Neill / Book Paperback
common.buy 29.50 €
La Divina Commedia di Dante Dante Alighieri / Book Hardback
common.buy 19.90 €
Rose d'Amour Alfred Assollant / Book Paperback
common.buy 11.59 €
Les contemplations Aujourd'hui, 1843-1856 Victor Hugo / Book Hardback
common.buy 22.09 €

The International Conference Foundations of Software Science and Compu- tion Structures (FOSSACS) is a constituent of the Joint European Conferences on Theoryand Practice of Software (ETAPS). The present volume contains the contributions to FOSSACS 99, the second conference in this series, which took place in Amsterdam. As formulated in the call for papers, FOSSACS focusses on papers which o?er progress in foundational research with a clear signi?cance for software science. A central issue is theories and methods which support the speci?cation, tra- formation, veri?cation, and analysis of programs and software systems. The articles in this volume represent a wide spectrum of approaches to this general aim. In manypapers, one ?nds the studyof new concepts and methods which are motivated byrecent trends (or problems) in the practical use of software and information technology. The volume contains 18 contributed papers, preceded bythree invited papers. The ?rst, byM. Abadi, accompanies his unifying invited lecture addressed to the whole ETAPS audience. The second, byJ. Esparza and J. Knoop, contains an application of the results presented byJ. Esparza in his invited lecture to FOSSACS 99. The third summarizes an invited tutorial byD. Sangiorgi p- sented to ETAPS 99.

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 Foundations of Software Science and Computation Structures
Author Wolfgang Thomas
Language English
Binding Book - Paperback
Date of issue 1999
Number of pages 330
EAN 9783540657194
ISBN 3540657193
Libristo code 05274925
Publishers Springer, Berlin
Weight 448
Dimensions 156 x 234 x 18

Categories

Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
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
Medicine & Nursing > Medicine: general issues
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

Diagnostic and Prognostic Biomarkers and Therapeutic Targets in Melanoma Michael J. Murphy / Book Hardback
common.buy 193.69 €
The Cross Dresser's Wife - Our Secret Lives Dee A Levy / Book Paperback
common.buy 12.59 €
Crap Dates Rhodri Marsden / Book Paperback
common.buy 7.59 €
Secrets of the Eternal Moon Phase Goddesses: Meditations on Desire, Relationships and the Art of Being Broken Julie Peters / E-book Adobe ePub DRM
common.buy 19.79 €
Rebel Voices: An IWW Anthology Fred Thompson / Book Paperback
common.buy 23.89 €
Block Backstepping Design of Nonlinear State Feedback Control Law for Underactuated Mechanical Systems Shubhobrata Rudra / Book Hardback
common.buy 101.79 €
Sir John Fortescue's The Trying of Souls J. W. Fortescue / Book Paperback
common.buy 15.99 €
Hey Diddle Didddle (I'll Sing You My Song) Dennis Albertson / Book Paperback
common.buy 15.59 €
BASIC CHROMATIC HARMONICA Phil Duncan / Book Paperback
common.buy 14.49 €
Look and Learn: In My Garden National Geographic Kids / Book Board book
common.buy 8.09 €
Reflecting on Nana CHITNIS / Book Paperback
common.buy 50.29 €
A Cup Of Coffee With 10 Of The Top Criminal Defense Attorneys In The United States: Valuable insights you should know if you are accused of a crime Noah H Pines Esq / Book Paperback
common.buy 24.79 €
Few Contemporary Inspirations from some of the OSelected SayingsO (Analects) of Confucius TRAUMEAR / Book Paperback
common.buy 7.59 €
Coming soon
Case of the Secret Pony Kelly McKain / Book Paperback
common.buy 4.79 €
Snowball The Oddball Kobold Victoria Zigler / Book Paperback
common.buy 8.89 €
Uses of Justice in Global Perspective, 1600-1900 Griet Vermeesch / Book Paperback
common.buy 58.29 €
None Yards!: 30 Years of John Madden in the Broadcast Booth Tom Danyluk / Book Paperback
common.buy 11.69 €
Chiin-na in Wing Chun Semyon Neskorodev / Book Paperback
common.buy 13.09 €
Papers On The Legal History Of Government: Difficulties Fundamental And Artificial (1920) Melville Madison Bigelow / Book Paperback
common.buy 30.79 €
Hollow Earth F.T. Ives / Book Paperback
common.buy 10.69 €
Slick Brenda Hampton / Audiobook MP3
common.buy 21.09 €
Art of Star Trek Judith Reeves-Stevens / E-book Adobe ePub DRM
common.buy 4.49 €
Candy Cane Challenge Melody Tyden / Book Paperback
common.buy 13.89 €
A Book of Days Patti Smith / Book Paperback
common.buy 13.59 €

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?