«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.

High-Integrity Software

Idioma InglésInglés
Libro Tapa dura
Libro High-Integrity Software C.T. Sennett
Código Libristo: 01377502
Editores Springer, Berlin, marzo 1990
4. 3 The Gypsy language 72 4. 4 The Gypsy Verification Environment 73 4. 5 A simple example 81 4. 6... Descripción completa
? points 235 b
96.09 €
50% de probabilidad Buscaremos por todo el mundo ¿Cuándo recibiré mi libro?

Hasta 30 días para devoluciones

Clientes que también han comprado

Rytíři a dámy papežských řádů Josef Dolejší / Libro Tapa dura
common.buy 10.69 €
Gabi, tu me fais trop rigoler! Bravi / Libro Libro
common.buy 11.29 €
piano di emergenza ed evacuazione. Manuale operativo Paolo Muneretto / Libro Tapa blanda
common.buy 53.19 €
L'enfant AJT expliqué aux adultes Favereau / Libro Tapa blanda
common.buy 18.29 €
Atlas des vikings 789-1100 Haywood / Libro Tapa blanda
common.buy 34.39 €
Die Legende vom Hermunduren G. K. Grasse / Libro Tapa blanda
common.buy 19.89 €
AULA PLUS 4 LIBRO DEL ALUMNO / Libro Libro
common.buy 29.89 €
Classroom of the Elite Light Novel 04 Syougo Kinugasa / Libro Libro
common.buy 14.99 €
Faber - Castell Fixy Connector 60 ks / Juego/Juguete Juguete
common.buy 20.89 €
Económico
Histoire de L'Astronomie Moderne M. Delambre / Libro Tapa blanda
common.buy 11.29 €
Baila Como Una Hoja Claudia Navarro / Libro Tapa blanda
common.buy 8.89 €
Duineser Elegien (Grossdruck) Rainer Maria Rilke / Libro Tapa blanda
common.buy 5.99 €
Aesop for Children (Simplified Chinese): 06 Paperback Color H y Xiao Phd / Libro Tapa blanda
common.buy 55.59 €
Ford Mustang Matt Cook / Libro Tapa blanda
common.buy 11.39 €
Und heilt alle deine Gebrechen Jörg Müller / Libro Tapa blanda
common.buy 10.89 €
Leben unter den Bomben - Berlin im Zweiten Weltkrieg Niklas Möring / Libro Tapa blanda
common.buy 15.89 €
Prozesse Rainer Schützeichel / Libro Tapa blanda
common.buy 67.29 €
Die Erfindung des Weihnachtsbaums Bernd Brunner / Libro Tapa dura
common.buy 13.49 €
German Yearbook of International Law / Jahrbuch für Internationales Recht.. Vol. 53 (2010) Thomas Giegerich / Libro Tapa dura
common.buy 234.19 €
Lambacher Schweizer Mathematik 5. Ausgabe Hessen / Libro Tapa dura
common.buy 40.99 €
V Írsku prší inak Števa Opremčáková / Libro Tapa dura
common.buy 7.79 €

4. 3 The Gypsy language 72 4. 4 The Gypsy Verification Environment 73 4. 5 A simple example 81 4. 6 Specification data types 91 4. 7 Future directions 95 100 4. 8 Conclusions 5 Reliable programming in standard languages 102 Bernard Carre, Program Validation Ltd. 5. 1 Introduction 102 5. 2 Language requirements for high-integrity programming 103 5. 3 The use of standard languages 108 5. 4 Programming in Pascal and Ada 110 1'19 5. 5 Practical experiences NewSpeak: a reliable programming language 6 122 I. F. Currie, Royal Signals and Radar Establishment 6. 1 Introduction 122 6. 2 Types and values 127 6. 3 Declarations and variables 132 6. 4 Guarded declarations 134 6. 5 Cases and conditionals 136 6. 6 Loops 138 6. 7 Procedures 140 6. 8 Assertions 145 6. 9 Timing 147 6. 10 Conclusion 149 6. 11 Appendix 1: summary of syntax 150 6. 12 Appendix 2: type lattice and widening 156 7 Program analysis and systematic testing 159 M. A. Hennell, University of Liverpool, and D. Hedley and I. J. Riddell, Liverpool Data Research Associates Ltd. 7. 1 Introduction 159 7. 2 The basic requirement 160 7. 3 The Liverpool experience 161 7. 4 The Liverpool experiments 162 7. 5 The LDRA Testbeds 163 Interpretation 169 7. 6 7. 7 Applicability and benefits 171 7. 8 Safety-critical systems 173 VI 8 Program analysis and verification 176 Bernard Carre, Program Validation Ltd. 8. 1 Introduction 176 8.

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 High-Integrity Software
Autor C.T. Sennett
Idioma Inglés
Encuadernación Libro - Tapa dura
Fecha de publicación 1990
Número de páginas 360
EAN 9780306435522
Código Libristo 01377502
Editores Springer, Berlin
Peso 1000

Categorías

Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Sistemas operativos
Computación e informática > Ciencias de la computación
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

Arithmetic Groups J. E. Humphreys / Libro Tapa blanda
common.buy 28.39 €
Investigating Natural Disasters Pack A of 4 Elizabeth Elkins / Libro Tapa dura
common.buy 66.89 €
Empirical Analysis of Real Estate Investment Trusts in Asia Pham Anh Khoi / Libro Tapa blanda
common.buy 103.09 €
Blount Tempest. [A Novel.] John Chippendall Montesquieu Bellew / Libro Tapa blanda
common.buy 26.39 €
Alice Walker's Influence on Womanist Theology Gladys J Ph D Willis / Libro Tapa blanda
common.buy 9.59 €
History Of The Indian Tribes Of The United States V2: Their Present Condition And Prospects And A Sketch Of Their Ancient Status Henry Rowe Schoolcraft / Libro Tapa blanda
common.buy 37.69 €
Secret Diary of Ben Zoma John W McGinley / Libro Tapa blanda
common.buy 18.99 €
Managing Agile Alan Moran / Libro Tapa dura
common.buy 55.49 €
Lex Luthor's Power Grab! Louise Simonson / Libro Tapa dura
common.buy 20.09 €
Nuclear Power's Role in Generating Electricity: A CBO Study: A CBO Study Justin Robert Falk / Libro Tapa blanda
common.buy 11.79 €
Women in Ancient America: Second Edition Karen Olsen Bruhns / Libro Tapa blanda
common.buy 30.79 €
Common Core High School: Algebra: CCSS Test Review for the Common Core State Standards Initiative Mometrix Media LLC / Libro Tapa blanda
common.buy 40.49 €
Christ's Instructions to His Followers Concerning the Suffering Galileans; A Sermon Preach'd in the Parish-Churches of Storrington and Parham in Susse William Byass / Libro Tapa blanda
common.buy 13.29 €
Six pound nineteen per witching hour: Paranormal Personnel Saga #1 Joanna Mazurkiewicz / Libro Tapa blanda
common.buy 11.69 €
Introduction to the Libertarian Party: For Democrats, Republicans, Libertarians, Independents, and Everyone Else Wes Benedict / Libro Tapa blanda
common.buy 10.69 €
Winning at Collaboration Commerce Heidi Collins / Libro Tapa dura
common.buy 78.49 €
Activating God's Power in Kalvin Michelle Leslie / Libro Tapa blanda
common.buy 10.69 €
Case Against the Davis-Bacon Act THIEBLOT / Libro Tapa dura
common.buy 215.89 €
Darkness Before Dawn Claire Contreras / Libro Tapa blanda
common.buy 13.59 €
Big Book of Quick, Easy Family Recipes Christine Bailey / Libro Tapa blanda
common.buy 16.99 €
Popular
Dressage Principles and Techniques Miguel de Lancastre e Tavora / Libro Tapa dura
common.buy 45.59 €
Python Programming Computer Programming Academy / Libro Tapa blanda
common.buy 20.39 €
Guide To The Study And Reading Of American History Edward Channing / Libro Tapa blanda
common.buy 50.39 €
Anti-Diet: Reclaim Your Time, Money, Well-Being, and Happiness Through Intuitive Eating Christy Harrison / Libro Tapa blanda
common.buy 16.49 €

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
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?