Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Germany"
| 
                
                     | 
            |
| Link zu diesem Datensatz | https://d-nb.info/941911136 | 
| Art des Inhalts | Konferenzschrift | 
| Titel | 
                
                                            Formal techniques in real time and fault tolerant systems Teil: 3., Lübeck, Germany, September 19 - 23, 1994 / organized jointly with the Working Group Provably Correct Systems - ProCos  | 
        
| Verlag | Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer | 
| Zeitliche Einordnung | Erscheinungsdatum: 1994 | 
| ISBN/Einband/Preis | 
                
                                            978-3-540-58468-1 (Berlin ...) Softcover : DM 142.00 3-540-58468-4 (Berlin ...) Softcover : DM 142.00 978-0-387-58468-3 (New York ...) Softcover 0-387-58468-4 (New York ...) Softcover  | 
        
| Beziehungen | Lecture notes in computer science ; 863 | 
| Anmerkungen | Status nach VGG: Prüfung ausstehend | 
| Frankfurt | 
																		
				 				 Signatur: DZs 92/3917 										
																																												
											
						 Bereitstellung in Frankfurt  | 
		
| Leipzig | 
																		
				 				 Signatur: ZA 79633 										
																																												
											
						 Bereitstellung in Leipzig  | 
		

