Springer. Berlin 1971 24 x 17 cm., 372 pag. 1� edicion. LECTURE NOTES IN MATHEMATICS. Tapa blanda; buen estado de conservacion. MATEMATICAS . Ejemplares disponibles: 1 Normal.

Codice articolo 700084933

Contatta il venditore

Segnala questo articolo

Dati bibliografici

Titolo

SYMPOSIUM ON SEMANTICS OF ALGORITHMIC LANGUAGES.

Editore

Springer

Data di pubblicazione

1971

Lingua

Inglese

ISBN 10

3540053778

ISBN 13

9783540053774

Rilegatura

Brossura

Condizione

Normal

Cataloghi dei venditori

Matem�ticas

Descrizione articolo

Contenuti

Axiom systems for simple assignment statements.- A property of linear conditionals.- Formalization of storage properties.- Program schemes, programs and logic.- Algebraic theories and program schemes.- Structure and meaning of elementary programs.- Procedures and parameters: An axiomatic approach.- Semantics of algol-like statements.- Proving correctness of implementation techniques.- Examples of formal semantics.- Experience with inductive assertions for proving programs correct.- Mathematical theory of partial correctness.- Towards automatic program synthesis.- The lattice of flow diagrams.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

Libros de segunda mano, antiguos y de ocasi�n. Descatalogados, raros y curiosos. Best sellers, novela negra, poes�a, teatro... S�lo realizamos env�os. M�s de 111.000 libros en nuestro cat�logo. Env�os a trav�s de correo ordinario o correos certificado. Librer�a Online

Visita la pagina della libreria

Informazioni sull?azienda del venditore

Libros Ambig�
Spain

Condizioni di vendita e spedizione

Condizioni di vendita

Efectivo en librer�a, aceptamos pago a Contra Reembolso, transferencia bancaria y tarjeta de cr�dito. Realizamos env�os a todo el mundo seg�n tarifas. Para otras formas, consultar. Los gastos de env�o est�n calculados para un libro de nos m�s de 1 kilo de peso y tama�o peque�o. Los env�os Contra Reembolso tienen un gasto de 5,50 euros, para libros de menos de 1 kg.

Diritto di recesso

Condizioni di spedizione

Los gastos de env�o est�n calculados sobre la base del peso de un libro de 2.2 LB � 1 KG. Si su pedido es demasiado grande o pesado, nosotros podemos ponernos en contacto con usted para comunicarle que gasto de env�o adicional es requerido. Los env�os normales se realizan mediante correo ordinario, no certificado. Los env�os urgentes se realizan a trav�s de la empresa de transportes Envialia.

Tariffe di spedizione da Spagna a Italia

Tariffe di spedizione da Spagna a Italia
Quantit� dell?ordine	Da 3 a 14 giorni lavorativi	Da 3 a 14 giorni lavorativi
Primo articolo	EUR 12.00	EUR 12.00

I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.