SULJE VALIKKO

avaa valikko

José Meseguer | Akateeminen Kirjakauppa

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



Algebraic Methodology and Software Technology - 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Pro
José Meseguer; Grigore Rosu
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
DERECHO INTERNACIONAL DE LOS ECOSISTEMAS MARINOS
MESEGUER SANCHEZ; JOSE LUIS
REUS (2011)
Pehmeäkantinen kirja
35,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Migration and Democracy - How Remittances Undermine Dictatorships
Abel Escribà-Folch; Joseph Wright; Covadonga Meseguer
Princeton University Press (2022)
Pehmeäkantinen kirja
36,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Migration and Democracy - How Remittances Undermine Dictatorships
Abel Escribà-Folch; Joseph Wright; Covadonga Meseguer
Princeton University Press (2022)
Kovakantinen kirja
116,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
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
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Algebra, Meaning, and Computation - Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
Kokichi Futatsugi; Jean-Pierre Jouannaud; José Meseguer
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2006)
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Concurrency, Graphs and Models - Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
Pierpaolo Degano; Rocco de Nicola; José Meseguer
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008)
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Modeling: Actors; Open Systems, Biological Systems - Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birt
Gul Agha; Olivier Danvy; José Meseguer
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2011)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Manual de marketing para la consulta de podología
Jesús M. Fernández Herrera; José Ramón Meseguer; Virginia Novel Martí
Nexus Médica (2009)
Pehmeäkantinen kirja
68,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi
Shusaku Iida; José Meseguer; Kazuhiro Ogata
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2014)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Design and optimization of a space camera with application to the PHI solar magnetograph
Piqueras Meseguer; Juan José
Uni - Edition GmbH (2013)
Pehmeäkantinen kirja
67,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Caminos del corazón
Ochoa Meseguer; José Manuel
Consejería de Educación, Cultura y Deporte (Andalucía) (2005)
Pehmeäkantinen kirja
46,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Caracterización electrofisiológica de las células madre
Vegara Meseguer Josefina Maria
Eae Editorial Academia Espanola (2011)
Pehmeäkantinen kirja
83,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
TEMPS AL TEMPS
MARTINEZ MESEGUER; JOSE LUIS
UNIVERSIDAD VALENCIA (2015)
Lehtivihko, moniste
13,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
TESTIGO DE EUROPA
JOSE SANCHEZ MANUEL MESEGUER
BUBOK PUBLISHING (2013)
Pehmeäkantinen kirja
19,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
El trasvase de aguas del embalse del Negratín (Granada) al embalse de Cuevas del Almanzora (Almería) : la conexión Negratín-Alma
José María Gómez Espín; Encarnación Gil Meseguer
Editum. Ediciones de la Universidad de Murcia (2017)
Pehmeäkantinen kirja
64,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows
Joshua D. Guttman; Carl E. Landwehr; José Meseguer; Dusko Pavlovic
Springer Nature Switzerland AG (2019)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Arithmetic and Algebraic Circuits
Antonio Lloris Ruiz; Encarnación Castillo Morales; Luis Parrilla Roure; Antonio García Ríos; María José Lloris Meseguer
Springer Nature Switzerland AG (2021)
Kovakantinen kirja
155,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
S.O.S. [Soledades y Otros Silencios] - Poemas
José Hernández Meseguer
Independently Published (2021)
Pehmeäkantinen kirja
10,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
S.O.S. [Soledades y Otros Silencios] [Parte Segunda]
José Hernández Meseguer
Independently Published (2021)
Pehmeäkantinen kirja
9,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Algebraic Methodology and Software Technology - 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Pro
49,60 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 434 sivua
Asu: Pehmeäkantinen kirja
Painos: 2008 ed.
Julkaisuvuosi: 2008, 15.07.2008 (lisätietoa)
Kieli: Englanti
Tuotesarja: Programming and Software Engineering
This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008. The 28 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 58 submissions. Among the topics covered are all current issues in formal methods related to algebraic and logical foundations, software technology, and to programming methodology including concurrent and reactive systems, evolutionary software/adaptive systems, logic and functional programming, object paradigms, constraint programming and concurrency, program verification and transformation, programming calculi, specification languages and tools, formal specification and development case studies, logic, category theory, relation algebra, computational algebra, algebraic foundations for languages and systems, coinduction, theorem proving and logical frameworks for reasoning, logics of programs, as well as algebra and coalgebra.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 5-6 viikossa. | Tilaa jouluksi viimeistään 13.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Algebraic Methodology and Software Technology - 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Prozoom
Näytä kaikki tuotetiedot
ISBN:
9783540799795
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste