Importe total (1 artículo artículos):
Destino del pedido:
signoles (54 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (54)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición Más información
Encuadernación
Más atributos
- Primera edición (1)
- Firmado (2)
- Sobrecubierta (No hay ningún otro resultado que coincida con este filtro.)
- Con imágenes (20)
- No impresión bajo demanda (42)
Idioma (3)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
La Jonque De Porcelaine
Idioma: Francés
Publicado por LE TEMPS QU'IL FAIT / Editions Collot, Carcassonne, 1985
ISBN 10: 2868530214 ISBN 13: 9782868530219
Librería: Raritan River Books, Philadelphia, PA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 9,98
Envío por EUR 4,39
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Good. Alain Signoles, Ill. Ilustrador. Binding sound, text clean, moderate shelfwear; some soiling to light-colored covers. Book.
-
La jonque de porcelaine - édition en gros caractères
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
EUR 6,49
Envío por EUR 16,50
Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoSoftcover. Condición: Bon. Ancien livre de bibliothèque. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Vivre sous occupation : Quotidiens palestiniens
Librería: medimops, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 9,15
Envío por EUR 10,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
-
Le Hamas au pouvoir : Et après ?
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
EUR 3,50
Envío por EUR 16,50
Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoSoftcover. Condición: Très bon. Ancien livre de bibliothèque avec équipements. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
D'une intifâda l'autre : Les quotidiens en Palestine
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
EUR 3,50
Envío por EUR 16,50
Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoSoftcover. Condición: Bon. Légères traces d'usure sur la couverture. Pages cornées. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Slight signs of wear on the cover. Dog-eared pages. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
D'une intifâda l'autre : Les quotidiens en Palestine
Librería: Démons & Merveilles, Joinville, Francia
Calificación del vendedor: 5 de 5 estrellas
EUR 10,00
Envío por EUR 22,00
Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Fine. French édition - Livre issu de déstockage JAMAIS LU pouvant présenter des petits plis cornes marques de manipulation sur la couverture et/ou les pourtours mais demeurant en très bon état d'ensemble.Expédition sous blister dans une enveloppe matelassée. 16x24x2cm. 2004. Broché. 240 pages. Fine.
-
PALESTINIENS (LES)
Librería: LeLivreVert - envoi suivi, Eysines, Francia
Calificación del vendedor: 5 de 5 estrellas
EUR 6,96
Envío por EUR 29,96
Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: fine. Photo non contractuelle. Envoi rapide et soigné.
-
Amérique latine - Monde arabe : la diagonale des Suds
Librería: Gallix, Gif sur Yvette, Francia
Calificación del vendedor: 5 de 5 estrellas
EUR 24,00
Envío por EUR 17,20
Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Neuf.
-
Les islamistes et le monde: Islam politique et relations internationales
Libro 45 de 62: Comprendre le Moyen-OrientLibrería: Gallix, Gif sur Yvette, Francia
Calificación del vendedor: 5 de 5 estrellas
EUR 24,00
Envío por EUR 17,20
Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Neuf.
-
Révolutions arabes : un evenement pour les sciences sociales?
Librería: Joseph Burridge Books, Dagenham, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 17,91
Envío por EUR 26,67
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoSoft cover. Condición: New. 347 pages : illustrations en partie en couleur ; 24 cm. in French.
-
Exister et résister dans les marges urbaines: Les villes du Bassin méditerranéen
Librería: Gallix, Gif sur Yvette, Francia
Calificación del vendedor: 5 de 5 estrellas
EUR 34,00
Envío por EUR 19,85
Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Neuf.
-
Palestiniens entre Etat et diaspora (Les). Le temps des incertitudes
Librería: Gallix, Gif sur Yvette, Francia
Calificación del vendedor: 5 de 5 estrellas
EUR 32,00
Envío por EUR 23,24
Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Neuf.
-
Guide to Software Verification With Frama-c : Core Components, Usages, and Applications
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 78,96
Envío por EUR 2,33
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoCondición: New.
-
Guide to Software Verification with Frama-C (Hardcover)
Idioma: Inglés
Publicado por Springer International Publishing AG, Cham, 2024
ISBN 10: 3031556070 ISBN 13: 9783031556074
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 81,36
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: new. Hardcover. Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications.With the growing complexity and ubiquity of modern software, there is increasing interest in code analysis tools at various levels of formalization to ensure safety and security of software products. Acknowledging the fact that no single technique will ever be able to fit all software verification needs, the Frama-C platform features a wide set of plug-ins that can be used or combined for solving specific verification tasks. This guidebook presents a large panorama of basic usages, research results, and concrete applications of Frama-C since the very first open-source release of the platform in 2008. It covers the ACSL specification language, core verification plug-ins, advanced analyses and their combinations, key ingredients for developing new plug-ins, as well as successful industrial case studies in which Frama-C has helped engineers verify crucial safety or security properties. Topics and features:* Gentle, example-based introduction to software specification and verification * Wide panorama of state-of-the-art specification and analysis techniques * Step-by-step guide to develop your own, tailor-made analysis on top of the platform* Inspiring success stories of Frama-C deployment on industrial code* More than 15 years of R&D on analysis and verification of C codeThis book is firmly rooted on the practice of software analysis, with numerous examples, exercises and application guidelines. As such, it is particularly well suited for software verification practitioners wishing to deploy verification on their code, as well as for undergraduate students with little or no experience in code analysis techniques. More advanced sections on the theoretical underpinnings of the analyzers will be of interest for graduate students and researchers.Nikolai Kosmatov is a Senior Researcher at Thales Research & Technology, France. Virgile Prevosto is a Senior Researcher and Julien Signoles is a Research Director, both at Universite Paris-Saclay, CEA, List, France. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
![Imagen de archivo de ENJEUX URBAINS AU MAGHREB. CRISES, POUVOIRS ET MOUVEMENTS SOCIAUX a la venta por Pórtico [Portico]](https://pictures.abebooks.com/isbn/9782858024964-es-300.jpg)
ENJEUX URBAINS AU MAGHREB. CRISES, POUVOIRS ET MOUVEMENTS SOCIAUX
Librería: Pórtico [Portico], ZARAGOZA, Z, España
Calificación del vendedor: 4 de 5 estrellas
EUR 22,00
Envío por EUR 35,00
Se envía de España a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. 978-2-85802-496-4. LIAUZU, C. / G. MEYNIER / M. SGROI-DUFRESNE / P. SIGNOLES: ENJEUX URBAINS AU MAGHREB. CRISES, POUVOIRS ET MOUVEMENTS SOCIAUX. 1985 HARMATTAN, L'.
-
Guide to Software Verification With Frama-c : Core Components, Usages, and Applications
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 81,15
Envío por EUR 2,33
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
La jonque de porcelaine - Collection Le temps qu'il fait
Librería: Le-Livre, SABLONS, Francia
Miembro de asociación: ILAB
Calificación del vendedor: 5 de 5 estrellas
EUR 16,95
Envío por EUR 42,00
Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCouverture souple. Condición: bon. RO20257799: 1991. In-12. Broché. Etat d'usage, Couv. légèrement passée, Dos satisfaisant, Quelques rousseurs. 129 pages - quelques illustrations en noir/blanc, dans le texte - couverture rempliée. . . . Classification Dewey : 840.091-XX ème siècle.
-
Guide to Software Verification with Frama-C: Core Components, Usages, and Applications (Computer Science Foundations and Applied Logic)
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 87,99
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Guide to Software Verification with Frama-C: Core Components, Usages, and Applications (Computer Science Foundations and Applied Logic)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 72,89
Envío por EUR 13,89
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Guide to Software Verification With Frama-c : Core Components, Usages, and Applications
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 71,62
Envío por EUR 17,39
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoCondición: New.
-
Guide to Software Verification with Frama-C: Core Components, Usages, and Applications (Computer Science Foundations and Applied Logic)
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 88,83
Envío por EUR 3,51
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New.
-
Guide to Software Verification With Frama-c : Core Components, Usages, and Applications
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 80,23
Envío por EUR 17,39
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
La Citadinité en Questions. -
Librería: Libresso Antiquariat, Jens Hagedorn, Harsefeld, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 28,80
Envío por EUR 38,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoLex.-8°, Kartoniert. 157 Seiten, Mit Abbildungen, graphischen Darstellungen und Tabellen; [URBAMA Centre d`études et de recherches sur l`urbanisation du monde arabe: Collection Sciences de la ville, No.13 / Fascicule de Recherches d`URBAMA No. 29]; --- gutes Exemplar Sprache: Französisch Gewicht in Gramm: 560.
-
Le Hamas Au Pouvoir et Après?
Idioma: Francés
Publicado por Milan Actu, Toulouse, 2006
Librería: L'ENCRIVORE (SLAM-ILAB), VENDOME, Francia
Miembro de asociación: ILAB
Calificación del vendedor: 5 de 5 estrellas
EUR 3,20
Envío por EUR 65,00
Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoBroché. Condición: Très bon. 112 pages - broché carte - très bon état.
-
Bédarieux au quotidien
Publicado por Maury, Millau, 1990
Librería: Librairie Maurice, MONTPELLIER, Francia
Calificación del vendedor: 2 de 5 estrellas
Original o primera edición Ejemplar firmado
EUR 35,00
Envío por EUR 25,00
Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCouverture souple. Condición: Comme neuf. Edition originale. Comme neuf dédicacé G Fouilhé (Archiviste). Dédicacé par l'illustrateur.
-
Guide to Software Verification with Frama-C: Core Components, Usages, and Applications (Computer Science Foundations and Applied Logic)
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 116,58
Envío por EUR 3,51
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. 2024th edition NO-PA16APR2015-KAP.
-
Vivre Sous Occupation : Quotidiens Palestiniens
Librería: RECYCLIVRE, Paris, Francia
Calificación del vendedor: 5 de 5 estrellas
EUR 7,98
Envío por EUR 65,00
Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Assez bon. Attention: Ancien support de bibliothèque, plastifié, étiquettes. Merci, votre achat aide à financer des programmes de lutte contre l'illettrisme.
-
Guide to Software Verification with Frama-C : Core Components, Usages, and Applications
Idioma: Inglés
Publicado por Springer International Publishing, Springer International Publishing, 2025
ISBN 10: 3031556100 ISBN 13: 9783031556104
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Envío por EUR 65,39
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications.With the growing complexity and ubiquity of modern software, there is increasing interest in code analysis tools at various levels of formalization to ensure safety and security of software products. Acknowledging the fact that no single technique will ever be able to fit all software verification needs, the Frama-C platform features a wide set of plug-ins that can be used or combined for solving specific verification tasks.This guidebook presents a large panorama of basic usages, research results, and concrete applications of Frama-C since the very first open-source release of the platform in 2008. It covers the ACSL specification language, core verification plug-ins, advanced analyses and their combinations, key ingredients for developing new plug-ins, as well as successful industrial case studies in which Frama-C has helped engineers verify crucial safety or security properties.Topics and features:\* Gentle, example-based introduction to software specification and verification\* Wide panorama of state-of-the-art specification and analysis techniques\* Step-by-step guide to develop your own, tailor-made analysis on top of the platform\* Inspiring success stories of Frama-C deployment on industrial code\* More than 15 years of R&D on analysis and verification of C codeThis book is firmly rooted on the practice of software analysis, with numerous examples, exercises and application guidelines. As such, it is particularly well suited for software verification practitioners wishing to deploy verification on their code, as well as for undergraduate students with little or no experience in code analysis techniques. More advanced sections on the theoretical underpinnings of the analyzers will be of interest for graduate students and researchers.Nikolai Kosmatovis a Senior Researcher at Thales Research & Technology, France.Virgile Prevostois a Senior Researcher andJulien Signolesis a Research Director, both at Université Paris-Saclay, CEA, List, France.
-
Guide to Software Verification with Frama-C | Core Components, Usages, and Applications
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 50,35
Envío por EUR 70,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Guide to Software Verification with Frama-C | Core Components, Usages, and Applications | Nikolai Kosmatov (u. a.) | Taschenbuch | Computer Science Foundations and Applied Logic | xxiv | Englisch | 2025 | Springer | EAN 9783031556104 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
EUR 10,44
Envío por EUR 65,00
Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Bon. Attention: Ancien support de bibliothèque, plastifié, étiquettes. Merci, votre achat aide à financer des programmes de lutte contre l'illettrisme.
