Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 7.99 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Formal Program Development

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

Lingua IngleseInglese
Libro In brossura
Libro Formal Program Development Bernhard Möller
Codice Libristo: 05274365
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, novembre 1993
This volume contains the background texts for an IFIPState-of-the-Art Seminar on Formal Program Deve... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

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

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.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Formal Program Development
Autore Bernhard Möller, Helmut Partsch, Steve Schuman
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 1993
Numero di pagine 375
EAN 9783540574996
ISBN 3540574999
Codice Libristo 05274365
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1210
Dimensioni 155 x 233 x 21

Categorie

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione > Matematica per informatici
Matematica e Scienze > Matematica > Calcolo combinatorio e teoria dei grafi
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
Informatica e Tecnologia dell’Informazione > Sistemi operativi
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

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

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo