NARCISO MARTI OLIET | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 9 tuotetta
Haluatko tarkentaa hakukriteerejä?

LOGICA MATEMATICA PARA INFORMATICOS

NARCISO MARTI OLIET
PRENTICE HALL (2008)
Pehmeäkantinen kirja

41,40 €

BASE UNIVERSITARIA, MATEMATICAS : INTRODUCCION A LA COMPUTACION

NARCISO MARTI OLIET
ANAYA (2010)
Pehmeäkantinen kirja

12,60 €

RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES - 21ST INTERNATIONAL WORKSHOP, WADT 2012, SALAMANCA, SPAIN, JUNE 7-10, 2012, R

Narciso Martí-Oliet; Miguel Palomino
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2013)
Pehmeäkantinen kirja

49,60 €

ESTRUCTURAS DE DATOS Y MÉTODOS ALGORÍTMICOS : EJERCICIOS RESUELTOS

Narciso Martí Oliet; Yolanda Ortega Mallén; José Alberto Verdejo López
Alhambra (2003)
Pehmeäkantinen kirja

92,80 €

LOGIC, REWRITING, AND CONCURRENCY - ESSAYS DEDICATED TO JOSÉ MESEGUER ON THE OCCASION OF HIS 65TH BIRTHDAY

Narciso Martí-Oliet; Peter Csaba Ölveczky; Carolyn Talcott
Springer International Publishing AG (2015)
Pehmeäkantinen kirja

49,60 €

ALL ABOUT MAUDE - A HIGH-PERFORMANCE LOGICAL FRAMEWORK : HOW TO SPECIFY, PROGRAM, AND VERIFY SYSTEMS IN REWRITING LOGIC

Manuel Clavel; Francisco Durán; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer; Carolyn Talcott
Springer (2007)
Moniviestin

88,20 €

FORMAL METHODS: FOUNDATIONS AND APPLICATIONS - 17TH BRAZILIAN SYMPOSIUM, SBMF 2014, MACEIÓ, AL, BRAZIL, SEPTEMBER 29--OCTOBER 1,

Christiano Braga; Narciso Martí-Oliet
Springer International Publishing AG (2015)
Pehmeäkantinen kirja

40,00 €

REWRITING LOGIC AND ITS APPLICATIONS - 13TH INTERNATIONAL WORKSHOP, WRLA 2020, VIRTUAL EVENT, OCTOBER 20-22, 2020, REVISED SELEC

Santiago Escobar; Narciso Martí-Oliet
Springer Nature Switzerland AG (2020)
Pehmeäkantinen kirja

49,60 €

REWRITING LOGIC AND ITS APPLICATIONS - 15TH INTERNATIONAL WORKSHOP, WRLA 2024, LUXEMBOURG CITY, LUXEMBOURG, APRIL 6–7, 2024, REV

Kazuhiro Ogata; Narciso Martí-Oliet
Springer International Publishing AG (2024)
Pehmeäkantinen kirja

57,30 €

LOGICA MATEMATICA PARA INFORMATICOS

NARCISO MARTI OLIET

41,40 €

PRENTICE HALL
Sivumäärä: 400 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2008, 01.09.2008 (lisätietoa)
Kieli: Espanja

El objetivo de este libro es dar apoyo a la docencia de elementos básicos de la lógica matemática que normalmente se incluyen en los planes de estudio típicos de titulaciones en informática. El libro incluye una colección de más de 300 enunciados de preguntas tipo test y ejercicios resueltos (capítulos del 1 al 9) y sin resolver (capítulos 10 y 11). Para una mayor profundidad teórica de los temas, incluye bibliografía.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa. | Tilaa jouluksi viimeistään 27.11.2024. Tuote ei välttämättä ehdi jouluksi.

Myymäläsaatavuus