Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.

Bestandsnummer des Verk�ufers Z1-C-020-00322

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings (Lecture Notes in Computer Science, 735)
Verlag: Springer
Erscheinungsjahr: 1993
Sprache: Englisch
ISBN-10: 354057316X
ISBN-13: 9783540573166
Einband: Softcover
Zustand: Good

�ber diesen Titel

Inhaltsangabe

This volume comprises the papers selected for presentation at the international conference on Formal Methods in Programming and Their Applications, held in Academgorodok, Novosibirsk, Russia, June-July 1993. The conference was organized by the Institute of Informatics Systems of the Siberian Division of the Russian Academy of Sciences and was the first forum organized by the Institute which was entirely dedicated to formal methods. The main scientific tracks of the conference were centered around formal methods of program development and program construction. The papers in the book are grouped into the following parts: - formal semantics methods - algebraic specification methods - semantic program analysis and abstract interpretation - semantics of parallelism - logic of programs - software specification and verification - transformational development and program synthesis.

Rese�a del editor

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Phatpocket Limited is a world class secondhand bookstore located in the Hertfordshire countryside in the United Kingdom. We specialize in textbooks across an enormous variety of subjects. We aim to provide a low cost source of high quality textbooks to the academic community. We also have a sizable collection of rare and collectible books. We are dedicated to providing our customers with the highest standard of customer service in the bookselling business.Phatpocket Limited is registered in England and Wales: No. 04924751.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Phatpocket Limited
1A The Maltings, Railway Place, Hertford, SG13 7JT, United Kingdom

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Books are usually shipped within two working days. All of our books have a 14 or 30 day no hassle money back guarantee unless stated otherwise in the book's description. Item must be returned in the exact same condition that it was received. Through our work with The Rainbow Centre and other Charity Partners, we have already given hundreds of young people in Sri Lanka and Africa the vital chance to get an education.

Your satisfaction is extremely important to us and we would be happy to work wit...

Mehr Information

Versandbedingungen

Orders usually ship within 2 business days. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

In spite of our best efforts, a small number of the items in our catalogue may be mispriced or out of stock. If an item's correct price is higher than our stated price, we will, at our discretion, either contact you for instructions before shipping or cancel your order and notify you of such cancellation.