«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Correctness-by-Construction Approach to Programming

Idioma InglésInglés
Libro Tapa dura
Libro Correctness-by-Construction Approach to Programming Derrick G. Kourie
Código Libristo: 01660456
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, abril 2012
Focusing on ways to bridge the gap between formal and more intuitive software programming, this care... Descripción completa
? points 276 b
112.79 €
Almacenamiento externo Envío en 10-13 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Sáček textil béžový 25x39cm mix / Libro binding.
common.buy 4.29 €
J'aime collegium / Libro Tapa blanda
common.buy 12.49 €
Wärmeinduzierte Wechselwirkungen zwischen Kasein, Molkeproteinen und Lecithinen Mamdouh El-Bakry / Libro Tapa blanda
common.buy 37.39 €
Tetris – hra, ktorá zmenila dejiny Box Brown / Libro Tapa blanda
common.buy 19.29 €
Kosmokluk David Walliams / Libro Tapa blanda
common.buy 15.29 €
Supersensible Impulses P. King / Libro Tapa blanda
common.buy 24.29 €
SAN ANTONIO T3 TITRE A PRECISER Sanlaville / Libro Tapa dura
common.buy 19.69 €
Popular Económico
Good Boy - Jófiú Elle Kennedy / Libro Tapa dura
common.buy 7.39 €
Puedo Mirar Tu Regalo Guido van Genechten / Libro Tapa dura
common.buy 14.69 €
ENGLISH PRONUNCIATION AA. VV / Libro Tapa blanda
common.buy 27.19 €
Guérir par l'énergie, la méditation et la thérapie VORGER / Libro Tapa blanda
common.buy 11.39 €
Dictionnaire des oeuvres érotiques COLLECTIFS MERC / Libro Tapa dura
common.buy 37.89 €
Das Verhältnis Des Neugriechischen Zu Den Romanischen Sprachen: Eine Sprachvergleichende Betrachtun Hans Muller / Libro Tapa dura
common.buy 35.59 €
Arabesky Jan Neruda / Libro Tapa dura
common.buy 8.69 €
Introducción al Derecho de la Seguridad Social Santiago González Ortega / Libro Tapa blanda
common.buy 35.69 €
La negociación del convenio colectivo estatutario Francisco Ramón Lacomba Pérez / Libro Tapa blanda
common.buy 19.09 €
111 Gründe, Atlético Madrid zu lieben André Kahle / Libro Tapa blanda
common.buy 14.99 €
Histoire de Sainte Monique 5e Edition Bougaud-L-E / Libro Tapa blanda
common.buy 41.49 €
AutoCAD 2008, paso a paso Rafael Ábalos Bergillos / Libro Tapa blanda
common.buy 28.49 €
Histoire de La R'Volution Russe. La R'Volution D'Octobre T2 L'On Trotsky / Libro Tapa blanda
common.buy 13.29 €
Die Vorsokratischen Philosophen Geoffrey S. Kirk / Libro Tapa blanda
common.buy 26.09 €

Focusing on ways to bridge the gap between formal and more intuitive software programming, this carefully graded text provides stepwise explanation of algorithm derivation and facilitates practical applications in computation geometry, among other fields.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Correctness-by-Construction Approach to Programming
Autor Derrick G. Kourie, Bruce W. Watson
Idioma Inglés
Encuadernación Libro - Tapa dura
Fecha de publicación 2012
Número de páginas 266
EAN 9783642279188
ISBN 364227918X
Código Libristo 01660456
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 556
Dimensiones 165 x 235 x 26

Categorías

Matemáticas y ciencias > Matemáticas > Fundamentos matemáticos > Lógica matemática
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Advanced Network Programming - Principles and Techniques Bogdan Ciubotaru / Libro Tapa dura
common.buy 56.59 €
The Spaewife: A Tale of the Scottish Chronicles, Volume 2 John Galt / Libro Tapa blanda
common.buy 23.89 €
The Hidden Life of Jesus: A Lesson and Model to Christians: Large Print Edition Henri-Marie Boudon / Libro Tapa blanda
common.buy 20.29 €
Between the Ticks of the Watch Kevin Beasley / Libro Tapa blanda
common.buy 34.39 €
The Winter Wives MacIntyre / Libro Tapa blanda
common.buy 13.59 €
Ketogenic Diet: The Ultimate guide for beginners Holly Barnes / Libro Tapa blanda
common.buy 10.69 €
The Government of England. Volume 2 of 2 A Lawrence Lowell / Libro Tapa blanda
common.buy 31.79 €
Raw Food/Real World Matthew Kenney / Libro electrónico Adobe ePub DRM
common.buy 14.29 €
ESP8266 Internet of Things Cookbook MARCO SCHWARTZ / Libro Tapa blanda
common.buy 37.69 €
Egret Ranch Andrew Gaeddert / Libro Tapa blanda
common.buy 14.19 €
Hark to These Three Talk about Style T Sturge 1870-1944 Moore / Libro Tapa dura
common.buy 30.79 €
Nuevo
Paul the Rabbi Philosopher: Stoic and Jewish Philosophy in the Apostle's Thought DODSON JOSEPH R / Libro Tapa blanda
common.buy 24.29 €
Weaving Carpets - The History of the Manufacture and Machinery Clinton G. Gilroy / Libro Tapa blanda
common.buy 31.49 €
Elizabeth Bishop Robert Giroux / Libro Tapa dura
common.buy 35.29 €
Your Child at Play Marilyn Segal / Libro Tapa blanda
common.buy 24.59 €
History of Umuchu S. A. Nnolim / Libro Tapa blanda
common.buy 17.69 €
Normativity and Phenomenology in Husserl and Heidegger Steven Crowell / Libro Tapa dura
common.buy 111.29 €
Modern Cosmology Scott Dodelson / Libro Tapa dura
common.buy 115.59 €
Popular
Origins of the Second World War A J P Taylor / Libro Tapa blanda
common.buy 14.99 €
Collected Poems David Constantine / Libro Tapa blanda
common.buy 19.69 €
Game Theory in the Social Sciences Lambertini / Libro Tapa blanda
common.buy 116.79 €
Charting Transformation through Security Toni Haastrup / Libro Tapa dura
common.buy 60.39 €
Food Contaminants and Residue Analysis Yolanda Pico / Libro Tapa dura
common.buy 326.29 €
Self-Giving God and Salvation History Matthew L. Becker / Libro Tapa blanda
common.buy 112.89 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo