Controllare lo stato dell'ordine

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €

phone

Contatto

phone

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

0

Libro Specification, Algebra, and Software Shusaku Iida

Specification, Algebra, and Software

Essays Dedicated to Kokichi Futatsugi

Lingua

Inglese

Libro In brossura

Libro Specification, Algebra, and Software Shusaku Iida

Codice Libristo: 02483162

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, febbraio 2014

This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions... Descrizione completa

Codice Libristo: 02483162

?

points

111 b

45.49 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Funko POP Games: Pokémon - Eevee

/

Giocattolo

21.39 €

Atlas Der Reontgenologischen Messmethoden Kurt Fochem

/

In brossura

46.79 €

Modellierung kinetisch kontrollierter, turbulenter Flammen fur Magerbrennkonzepte Matthias Kern

/

In brossura

38.19 €

Kommunikation des Herzens Rahasya Fritjof Kraft

/

Rigido

11.09 €

Erinnerungen eines Zeitzeugen Alexander Muth

/

In brossura

17.69 €

Besteuerung von verheirateten Paaren in Deutschland Marco Theiling

/

In brossura

14.89 €

This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and software engineering. Prof. Futatsugi is one of the founding fathers of the field of algebraic specification and verification and is a leading researcher in formal methods and software engineering. He has pioneered and advanced novel algebraic methods and languages supporting them such as OBJ and CafeOBJ and has worked tirelessly over the years to bring such methods and tools in contact with software engineering practice. This volume contains contributions from internationally leading researchers in formal methods and software engineering.

Attrice & Poliglotta

EWA KASP per

Riproduci video

Ewa Kasp

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 Specification, Algebra, and Software

Autore Shusaku Iida, José Meseguer, Kazuhiro Ogata

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2014

Numero di pagine 657

EAN 9783642546235

ISBN 3642546234

Codice Libristo 02483162

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Peso 1013

Dimensioni 155 x 235 x 36

Categorie

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Compilatori e interpreti

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer

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

Whispered Music Rachel Van Dyken

/

In brossura

12.39 €

My Life Is Our Illusion Marshall Walker

/

In brossura

16.19 €

Oxford Reading Tree TreeTops inFact: Level 16: Huge Art James Driver

/

In brossura

12.09 €

Proof Theory for General Unification Wayne Snyder

/

Rigido

45.49 €

Photocatalysis Dionysios D. Dionysiou

/

Rigido

213.19 €

Class-Book of Modern Geography Hughes

/

Rigido

33.09 €

Nonfiction Alphabet Readers: 26 Just-Right Titles That Teach the Letters from A to Z Inc. Scholastic

/

In brossura

15.59 €

Why I Wake Early Mary Oliver

/

Rigido

15.59 €

ALPHABET OF PHRENOLOGY H. T. Judson

/

In brossura

13.89 €

Inherit the Holy Mountain Mark Stoll

/

In brossura

47.19 €

Empty Tubes and Back Seat Memories Russ Warriner

/

In brossura

17.89 €

Mindset On Increase: A Journey To Raise Your Frequency Pilar Scratch

/

In brossura

10.89 €

Responsibility for Refugee and Migrant Integration Jan-Christoph Heilinger

/

Rigido

49.29 €

What Were the Negro Leagues? Varian Johnson

/

In brossura

5.59 €

Welkei Collens Collins Wilkie

/

In brossura

21.09 €

City Visual: Interior Embellishment Sendpoints

/

Rigido

47.69 €

Diagnosing from a Distance John Martin-Joy

/

In brossura

29.99 €

On Aneurism, and Its Cure by a New Operation (1828) James Wardrop

/

In brossura

20.29 €

Mega Mazes: 100 Challenging Mazes Margaret Gregory

/

In brossura

12.39 €

Language, Thought and Consciousness Peter Carruthers

/

Rigido

43.89 €

Soft Tissue Therapy for the Lower Limb Jane Johnson

/

In brossura

47.09 €

Practical Reasoning in a Social World Keith Graham

/

In brossura

40.99 €

Check Your English Vocabulary for TOEFL Wyatt Rawdon Wyatt

/

Adobe ePub DRM

12.59 €

Options Edge + Free Trial - An Intuitive Approach to Generating Consistent Profits for the Novice to the Experienced Practitioner Michael Khouw

/

In brossura

37.99 €

Consulente di libri Libroamiko

Ciao, sono Libroamiko, posso aiutarti?