«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Formal Program Development

IFIP TC2/WG 2.1 State-of-the-Art Report

Idioma InglésInglés
Libro Tapa blanda
Libro Formal Program Development Bernhard Möller
Código Libristo: 05274365
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, noviembre 1993
This volume contains the background texts for an IFIPState-of-the-Art Seminar on Formal Program Deve... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Política de devolución de 30 días

Clientes que también han comprado

Próximamente
Lehrbuch u. 1 MP3-CD ASSiMiL GmbH / Libro Tapa dura
common.buy 93.39 €
Vie Politique Et Religieuse De Thomas Becket (1842) Charles Bataille / Libro Tapa blanda
common.buy 33.69 €
50 montages de tricot Pascale THULLIER / Libro Tapa blanda
common.buy 30.09 €
Un faux pas dans la nuit Lhoste / Libro Tapa blanda
common.buy 24.19 €
Popular
Akutní stavy na interním oddělení Jan Piťha / Libro Tapa blanda
common.buy 16.09 €
GRAN TRATADO DE LOS ESTADIOS EN EL CAMINO A LA ILUMINACIÓN, EL LAM RIM CHEN MO - VOLÚMEN I TSONGKAPA / Libro Tapa blanda
common.buy 32.99 €
Die vertragszahnaerztliche Wirtschaftlichkeits- und Abrechnungspruefung Ralf Großbölting / Libro Tapa blanda
common.buy 86.29 €
Leo Graf von Caprivi. Bismarcks Kampf gegen Caprivi Julius von Eckardt / Libro Tapa dura
common.buy 66.79 €
Dinamiche Negoziali nella Cooperazione tra Imprese Andrea Caputo / Libro Tapa blanda
common.buy 52.19 €
Briefe an einen jungen Schriftsteller Mario Vargas Llosa / Libro Tapa blanda
common.buy 8.09 €

This volume contains the background texts for an IFIPState-of-the-Art Seminar on Formal Program Development, held in early 1992 near Rio de Janeiro, Brazil. The book stems from work done by IFIP Working Group 2.1 on Algorithmic Languages and Calculi. Since 1975, the Working Group has increasingly focused on systematic approaches to programming and on appropriate concepts and notations to support such approaches. Today, the calculation of programs from specifications constitutes the central theme of the group's work. Thus the core interests of the group are:- formal specification of solutions to problems, and- formal development/calculation of programs from such specifications.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Formal Program Development
Autor Bernhard Möller, Helmut Partsch, Steve Schuman
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 1993
Número de páginas 375
EAN 9783540574996
ISBN 3540574999
Código Libristo 05274365
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1210
Dimensiones 155 x 233 x 21

Categorías

Computación e informática > Ciencias de la computación > Teoría matemática de la computación > Matemáticas para informáticos
Matemáticas y ciencias > Matemáticas > Combinatoria y teoría de grafos
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Computación e informática > Sistemas operativos
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Success: The Best of Napoleon Hill Napoleon Hill / Libro Tapa blanda
common.buy 15.09 €
Muir Ramble Route Peter Thomas / Libro Tapa blanda
common.buy 16.19 €
American Journalism after 'The Age of Mechanical Reproduction' Bjoern Schubert / Libro Tapa blanda
common.buy 42.39 €
literary comparison of Edgar Allan Poes The Black Cat and The Tell-Tale Heart Selina Schuster / Libro Tapa blanda
common.buy 17.89 €
Icarus' Second Chance Jacques Arnould / Libro Tapa blanda
common.buy 112.79 €
Herman ""Baron"" Lamm, the Father of Modern Bank Robbery Walter Mittelstaedt / Libro Tapa blanda
common.buy 37.39 €
Public Assault on America's Children Valerie Polakow / Libro Tapa blanda
common.buy 31.39 €
IV. and V. Will. IV. C. 35.] the Act of Parliament [13 August, 1834] for Establishing the City of London School Anonymous / Libro Tapa blanda
common.buy 18.89 €
Future of the Euro Matthias Matthijs / Libro Tapa dura
common.buy 153.99 €
Romans John F MacArthur / Libro Tapa blanda
common.buy 14.29 €
City of Roses Emily Isaacson / Libro Tapa dura
common.buy 39.79 €
Never Say Never, Never Say Always Susan S Warner / Libro Tapa blanda
common.buy 12.69 €
The States of the River Plate: Their Industries and Commerce Wilfrid Latham / Libro Tapa blanda
common.buy 27.89 €
TinkerActive Workbooks: Kindergarten Science Taryn Johnson / Libro Tapa blanda
common.buy 13.19 €
Shirley Charlotte Brontë / Libro Tapa blanda
common.buy 19.79 €
Great War of the Dark Age Dominique Wohlschlag / Libro Tapa blanda
common.buy 11.19 €
Learn Odoo Greg Moss / Libro Tapa blanda
common.buy 58.29 €
Medieval Cruelty Daniel Baraz / Libro Tapa dura
common.buy 89.99 €
Popular
Algebraic Number Theory Frazer Jarvis / Libro Tapa blanda
common.buy 42.19 €
State Counsellor Boris Akunin / Libro Tapa blanda
common.buy 13.79 €
Vorticists Mark Antliffe / Libro Tapa blanda
common.buy 50.89 €
Urdu for Children, Book II, 3 Book Set, Part One Sajida Alvi / Libro Tapa blanda
common.buy 34.39 €
Little Polar Bear Hans DeBeer / Libro Tapa blanda
common.buy 7.19 €
Living with Nietzsche Robert C. Solomon / Libro Tapa blanda
common.buy 43.89 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?